Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

ESL design and verification: a prescription for electronic system level methodology, , and . Morgan Kaufmann Publishers, San Francisco, CA, (2007)Formal verification - prove it or pitch it., , , , , , , , and . DAC, page 710-711. ACM, (2003)RTL semantics and methodology., and . ISSS, page 69-74. ACM / IEEE Computer Society, (2001)Understanding the Accellera SCE-MI Transaction Pipes., , , , , , , and . IEEE Des. Test Comput., 29 (2): 32-43 (2012)How standards will enable hardware/software co-design., , , , , , , , and . CODES, page 211-212. ACM, (1999)Panel: What's the next 'big thing' in simulation-based verification?, , , , , , and . HLDVT, page 175. IEEE Computer Society, (2003)Is formal being squeezed out of functional verification?. MEMOCODE, page 143. IEEE Computer Society, (2004)Unified tools for SoC embedded systems: mission critical, mission impossible or mission irrelevant?, , , , , , , and . DAC, page 479. ACM, (2002)Interactive sketching of multimedia storyboards.. ACM Multimedia (2), page 205-206. ACM, (1999)Was it worth the wait? Yes!. IEEE Des. Test Comput., 23 (2): 160-161 (2006)