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):

• Bose,Ajoy K.
• Szygenda,S. A.

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

Descriptors:

• *NETWORKS
• *COMPUTER LOGIC
• *ERROR DETECTION CODES
• INPUT
• SIMULATION
• RISK
• COMPUTER PROGRAMMING
• LOGIC CIRCUITS
• DIGITAL COMPUTERS
• BINARY NOTATION

Subject Categories:

• Computer Programming and Software
• Computer Hardware
• Computer Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE