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