Abstract :
The following topics are dealt with: formal specification; formal verification; design language; SystemC; heterogeneous system; architecture modelling; adaptive system; hardware-software codesign; SoC; Rosetta language; synchronisation and embedded system.
Keywords :
formal specification; formal verification; hardware description languages; hardware-software codesign; specification languages; system-on-chip; Rosetta language; SoC; SystemC; adaptive system; architecture modelling; design language; embedded system; formal specification; formal verification; hardware-software codesign; heterogeneous system; synchronisation;
Conference_Titel :
Specification, Verification and Design Languages, 2008. FDL 2008. Forum on
Conference_Location :
Stuttgart
Print_ISBN :
978-1-4244-2264-7
DOI :
10.1109/FDL.2008.4641406
