Dr. Baruch Zoltan Francisc
Professor

Technical University of Cluj-Napoca
Computer Science Department

BARUCH  ZOLTAN  FRANCISC

DESCRIPTION METHODS FOR
DIGITAL SYSTEMS

PhD Report

Supervisor: Prof. Dr. Eng. Pusztai Kalman

Cluj-Napoca, ROMANIA

1995



 1. INTRODUCTION

1.1. THE NEED FOR HIGH-LEVEL DESCRIPTIONS
1.2. LEVELS AND DOMAINS OF DESCRIPTION

2. HARDWARE MODELS

2.1. INTRODUCTION
2.2. MODEL CLASSIFICATION
2.3. STATE-ORIENTED MODELS

2.3.1. Finite-State Machines
2.3.2. Petri Nets
2.3.3. Hierarchical Concurrent Finite-State Machines

2.4. ACTIVITY-ORIENTED MODELS

2.4.1. Data-Flow Graphs
2.4.2. Control-Flow Graphs

2.5. STRUCTURE-ORIENTED MODELS

2.5.1. Component-Connectivity Diagrams
2.5.2. Incidence Structures
2.5.3. Logic Networks

2.6. HETEROGENEOUS MODELS

2.6.1. Control and Data-Flow Graphs
2.6.2. Structure Diagrams
2.6.3. Program-State Machines
2.6.4. Queuing Model

3. HARDWARE DESCRIPTION LANGUAGES

3.1. INTRODUCTION
3.2. TYPES OF HARDWARE DESCRIPTION LANGUAGES

3.2.1. Structural Description Languages
3.2.2. Behavioral Description Languages

3.3. HARDWARE DESCRIPTION LANGUAGE FEATURES

3.3.1. Programming Language Features

3.3.1.1. Data Types
3.3.1.2. Operators and Assignment Statements
3.3.1.3. Control Constructs
3.3.1.4. Execution Ordering

3.3.2. Hardware-Unit Specific Features

3.3.2.1. Interface Declarations
3.3.2.2. Structural Declarations
3.3.2.3. RT-Level and Logic Operators
3.3.2.4. Asynchrony
3.3.2.5. Hierarchy
3.3.2.6. Interprocess Communication
3.3.2.7. Constraints
3.3.2.8. User Allocation

3.4. HARDWARE DESCRIPTION LANGUAGE FORMATS

3.4.1. Textual Languages
3.4.2. Graphical Languages
3.4.3. Tabular Languages
3.4.4. Languages Based on Timing Diagrams

3.5. EXAMPLES OF DESCRIPTION LANGUAGES

3.5.1. VHDL
3.5.2. HardwareC
3.5.3. CSP
3.5.4. Verilog
3.5.5. Statecharts
3.5.6. Silage
3.5.7. SpecCharts

3.6. RELATIONSHIP BETWEEN LANGUAGE AND ARCHITECTURE

4. CONCLUSIONS
 
BIBLIOGRAPHY