Title :
Tutorial T7: Formal Techniques for Hardware/Software Co-Verification
Abstract :
Provides an abstract of the tutorial presentation and a brief professional biography of the presenter. The complete presentation was not made available for publication as part of the conference proceedings.
Keywords :
Educational institutions; Embedded systems; Formal verification; Hardware; Tutorials; Very large scale integration;
Conference_Titel :
VLSI Design and 2013 12th International Conference on Embedded Systems (VLSID), 2013 26th International Conference on
Conference_Location :
Pune
Print_ISBN :
978-1-4673-4639-9
DOI :
10.1109/VLSID.2013.142
