Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal verification methods: getting around the brick wall., , , , , , , , und . DAC, Seite 576-577. ACM, (2002)Why the design productivity gap never happened.. ICCAD, Seite 581-584. IEEE, (2013)Pain, Possibilities, and Prescriptions Industry Trends in Advanced Functional Verification.. Haifa Verification Conference, Volume 6405 von Lecture Notes in Computer Science, Seite 2. Springer, (2009)Panel: Driving the intelligent testbanch: are we there yet?. HLDVT, Seite 188. IEEE Computer Society, (2004)Panel: Unified approach leading to a seamlessly evolving test bench for all phases of a multi-core design, validation and production test., , , , und . HLDVT, Seite 167-168. IEEE Computer Society, (2007)The Chip is Ready. Am I done? On-chip Verification using Assertion Processors., , , , und . VLSI-SOC, Seite 111-. Technische Universität Darmstadt, Insitute of Microelectronic Systems, (2003)Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial).. CAV, Volume 5123 von Lecture Notes in Computer Science, Seite 5-10. Springer, (2008)Exception handling in microprocessors using assertion libraries., , , , und . SBCCI, Seite 55-59. ACM, (2004)General Chair's Message.. DAC, Seite 1. IEEE, (2021)2018 FPGA Functional Verification Trends.. MTV, Seite 40-45. IEEE, (2018)