Architecture Design and Validation Methods
Latest Publications

TOTAL DOCUMENTS

7
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642629761, 9783642571992
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Cell-based Logic Optimization

2000 ◽  
pp. 49-87
Author(s):  
Giovanni De Micheli
Keyword(s):  
Logic Optimization

Models of Computation for System Design

2000 ◽  
pp. 243-295 ◽  
Author(s):  
Luciano Lavagno ◽  
Alberto Sangiovanni-Vincentelli ◽  
Ellen M. Sentovich
Keyword(s):  
System Design ◽  
Models Of Computation

Modeling and Synthesis of Behavior, Control and Data Flow

2000 ◽  
pp. 1-48
Author(s):  
Raul Camposano ◽  
Andrew Seawright ◽  
Joseph Buck
Keyword(s):  
Data Flow ◽  
Behavior Control

Test and Testable Design

2000 ◽  
pp. 141-190
Author(s):  
Hans-Joachim Wunderlich
Keyword(s):  
Testable Design
Load More ...
Sign in / Sign up

Export Citation Format

Share Document