Dr. Baruch Zoltan Francisc
Professor

Technical University of Cluj-Napoca
Computer Science Department


 

BARUCH  ZOLTAN  FRANCISC



 

CAD SYSTEM FOR
DIGITAL CIRCUIT SYNTHESIS



PhD Report



Supervisor: Prof. Dr. Eng. Pusztai Kalman


Cluj-Napoca, ROMANIA

1996


 





  1. DESIGN METHODOLOGIES
 
 
  2. SYNTHESIS SYSTEMS

2.1. GENERIC  SYNTHESIS  SYSTEM
2.2. SYSTEM  SYNTHESIS
2.3. CHIP  SYNTHESIS
2.4. LOGIC  AND  SEQUENTIAL  SYNTHESIS
2.5. PHYSICAL  SYNTHESIS
2.6. SYSTEM  DATABASE
2.7. COMPONENT  DATABASE
2.8. CONCEPTUALIZATION  ENVIRONMENT

 
  3. SPECIFICATION REFINEMENT

3.1. INTRODUCTION
3.2. REFINING  VARIABLE  GROUPINGS

 

3.2.1. Placing Variables in Memory
3.2.2. Memory Address Translation

3.3. REFINING  CHANNELS  AND  BUSES

 

3.3.1. Parameters of Channels and Buses
3.3.2. Problem Definition
3.3.3. Bus Generation
3.3.4. Protocol Generation

 
  4. CONCLUSIONS
 

BIBLIOGRAPHY