Functional Testing of LSI/VLSI Based Systems with Measure of Fault Coverage.

Abstract

Functional testing is a feasible solution for LSI/VLSI test generation and design verification. In this paper, we present a systematic way to perform functional testing using an advanced symbolic execution technique. Symbolic execution is a very useful and powerful software engineering technique mainly used in program analysis including test generation. Often a single symbolic execution of a program may represent a large number of normal test runs.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 08, 1984
Accession Number
ADA161931

Entities

People

  • Stephen Y. H. Su

Organizations

  • State University of New York at Albany

Tags

DTIC Thesaurus Topics

  • Computer Programming
  • Computer Science
  • Critical Path Methods
  • Demographic Cohorts
  • Engineering
  • High Level Languages
  • Language
  • New York
  • Programming Languages
  • Simulations
  • Software Development
  • Standards
  • Test Sets

Fields of Study

  • Computer science
  • Engineering

Readers

  • Artificial Intelligence
  • Software Engineering