Abstract :
The following topics are dealt with: formal verification; debugging; performance optimisation; power optimisation; robustness; formal models; SystemC models; mixed-technology system design; SoC synthesis; model driven approaches; and time modelling.
Keywords :
C language; optimisation; program debugging; robust control; software engineering; specification languages; system-on-chip; systems analysis; SoC synthesis; SystemC model; debugging; formal model; formal verification; mixed technology system design; model driven approach; performance optimisation; power optimisation; robustness; time modelling;
Conference_Titel :
Specification & Design Languages (FDL 2010), 2010 Forum on
Conference_Location :
Southampton
