Inspec keywords: circuit optimisation; system-on-chip; performance evaluation; timing; logic CAD; distributed processing; circuit simulation; scheduling

Other keywords: complex task dependencies; system-level performance data; context aware analysis; system level performance analysis; optimisation algorithms; rapid design space exploration; symbolic simulation; formal scheduling analysis techniques; SymTA/S approach; heterogeneous architectures; worst-case scheduling scenarios; end-to-end latencies; processor utilisation; bus utilisation; system sensitivity analysis

Subjects: Digital circuit design, modelling and testing; Parallel architecture; Optimisation techniques; Computer-aided logic design; Optimisation techniques; Microprocessor chips; Performance evaluation and testing; Electronic engineering computing; Computer-aided circuit analysis and design