State-of-the-Art Assessment of Testing and Testability of Custom LSI/VLSI Circuits. Volume II. 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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1982
Accession Number
ADA128692

Entities

People

  • A. J. Carlan

Organizations

  • The Aerospace Corporation

Tags

Communities of Interest

  • Materials and Manufacturing Processes
  • Space

DTIC Thesaurus Topics

  • Computer Architecture
  • Computer Networks
  • Computer Programming
  • Computer Science
  • Computers
  • Computing System Architectures
  • Electrical Engineering
  • Engineering
  • Formal Languages
  • High Level Languages
  • Language
  • Microcode
  • Microprogramming
  • New York
  • Notation
  • Programming Languages
  • Simulators

Fields of Study

  • Computer science

Readers

  • Integrated Circuit Design and Technology.
  • Mathematical Modeling and Probability Theory.
  • Systems Analysis and Design