Autor der Publikation

An Optimized Flow for Designing High-Speed, Large-Scale CMOS ASIC SoCs.

, , , , , und . SAMOS, Volume 3133 von Lecture Notes in Computer Science, Seite 98-107. Springer, (2004)

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

Strukturelle Analyse explizit fehlertoleranter Programme., und . Softwaretechnik-Trends, (2003)Structural Analysis of Explicit Fault-Tolerant Programs., und . HASE, Seite 89-96. IEEE Computer Society, (2004)A View-Based Control Flow Metric., und . COMPSAC Workshops, Seite 26-27. IEEE Computer Society, (2004)0-7695-2209-2.Enhancing System Validation with Behavioural Types.. HASE, Seite 201-210. IEEE Computer Society, (2002)An Optimized Flow for Designing High-Speed, Large-Scale CMOS ASIC SoCs., , , , , und . SAMOS, Volume 3133 von Lecture Notes in Computer Science, Seite 98-107. Springer, (2004)Behavioural Specification for Advanced Design and Verification of ASICs (ADeVA)., , und . MBMV, Seite 96-105. Shaker, (2002)Sichtgraphen: ein Konzept zur gezielten Untersuchung von Kontrollflussstrukturen.. University of Erlangen-Nuremberg, (2004)View Graphs for Analysis and Testing of Programs at Different Abstraction Levels., , , und . HASE, Seite 121-130. IEEE Computer Society, (2005)Integration of Formal Specification into the Standard ASIC Design Flow., , und . HASE, Seite 189-194. IEEE Computer Society, (2002)Formal Specification of a 40GBit/s Sonet/SDH ASIC., , , und . FDL, Seite 426-435. ECSI, (2003)