State-of-the-art assessment of testing and testability of custom LSI/VLSI circuits. Volume 2: Hardware design verification
Abstract
The complexity of digital circuits requires that more emphasis be placed on design specifications and verification. Specification of design requirements currently advocated is done with formal hardware descriptive languages (HDLs) to describe hardware function. Industry's current use of HDLs is primarily for simulation. Verifying a design is a less mature discipline. Three approaches are considered: simulation, symbolic simulation amd formal proofs. While symbolic simulation shows promise, much research and development is required.
- Publication:
-
Interim Report Aerospace Corp
- Pub Date:
- October 1982
- Bibcode:
- 1982aero.reptT....C
- Keywords:
-
- Design Analysis;
- Electronic Equipment Tests;
- Integrated Circuits;
- Large Scale Integration;
- Very Large Scale Integration;
- Gert;
- Logic Design;
- Program Verification (Computers);
- Programming Languages;
- Proving;
- Simulation;
- Electronics and Electrical Engineering