Accession Number:

ADA128692

Title:

State-of-the-Art Assessment of Testing and Testability of Custom LSI/VLSI Circuits. Volume II. Hardware Design Verification.

Descriptive Note:

Interim rept.,

Corporate Author:

AEROSPACE CORP EL SEGUNDO CA

Personal Author(s):

Report Date:

1982-10-01

Pagination or Media Count:

58.0

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. 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.

Subject Categories:

  • Electrical and Electronic Equipment
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE