DocumentCode
545813
Title
Front cover
fYear
2010
fDate
14-16 Sept. 2010
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;
fLanguage
English
Publisher
iet
Conference_Titel
Specification & Design Languages (FDL 2010), 2010 Forum on
Conference_Location
Southampton
Type
conf
Filename
5775167
Link To Document