Detection of Static and Dynamic Hazards in Logic Nets,

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1977
Accession Number
ADA052616

Entities

People

  • Ajoy K. Bose
  • S. A. Szygenda

Organizations

  • University of Texas at Austin

Tags

Communities of Interest

  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Accuracy
  • Air Force
  • Algorithms
  • Boolean Algebra
  • Circuits
  • Computations
  • Computers
  • Detection
  • Electrical Engineering
  • Engineering
  • Logic
  • Logic Gates
  • Scientific Research
  • Simulations
  • Simulators
  • Test And Evaluation
  • Transitions

Readers

  • Aerospace Test and Evaluation
  • Distributed Systems and Data Platform Development
  • Integrated Circuit Design and Technology.