State-of-the-Art Assessment of Testing and Testability of Custom LSI/VLSI Circuits. Volume II. Hardware Design Verification.
AEROSPACE CORP EL SEGUNDO CA
Pagination or Media Count:
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. Industrys 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.
- Electrical and Electronic Equipment
- Computer Programming and Software