Accession Number:

ADA052616

Title:

Detection of Static and Dynamic Hazards in Logic Nets,

Descriptive Note:

Corporate Author:

TEXAS UNIV AT AUSTIN ELECTRONICS RESEARCH CENTER

Personal Author(s):

Report Date:

1977-06-01

Pagination or Media Count:

6.0

Abstract:

This paper discusses an algorithmic procedure for the detection of static and dynamic hazards in a digital simulation environment. The procedure uses a signal representation scheme that decomposes multi-level signals to a binary form which are used along with a binary description of the network to realize hazard detection. Moreover this procedure can also be used to realize multi-level simulation and provides the user with various options about the accuracy that can be obtained at varying costs. Author

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware
  • Computer Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE