ACM transactions on design automation of electronic systems : TODAES
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
Inhaltsverzeichnis
- 515
-
Modeling Reactive Systems in JavaPasserone, C. et al. | 1998
- 524
-
On Measuring the Effectiveness of Various Design Validation Approaches for PowerPCTM Micro- processor Embedded ArraysWang, L.-C. et al. | 1998
- 533
-
A Tming-Driven Design and Validation Methodology for Embedded Real-Time SystemsDasdan, A. et al. | 1998
- 533
-
A Timing-Driven Design and Validation Methodology for Embedded Real-Time SystemsDasdan, A. / Ramanathan, D. / Gupta, R. K. et al. | 1998
- 554
-
ATM Switch Design by High-Level Modeling, Formal Verification, and High-Level SynthesisRajan, S.P. et al. | 1998
- 563
-
Specification and Verification of Pipelining in the ARM2 RISC MicroproccessorHuggins, J.K. et al. | 1998
- 581
-
High-Level Design Verification of Microprocessors via Error ModelingCampenhout, D.Van et al. | 1998
- 600
-
Efficient Equivalence Checking of Multiphase Designs Using Phase Abstraction and RetimingHasteer, G. et al. | 1998
- 626
-
EXFI: A Low-Cost Fault Injection System for Embedded Microprocessor-Based BoardsBenso, A. et al. | 1998
- 635
-
1998 Author Index| 1998