Algebras for hazard detection

Proceedings of The International Symposium on Multiple-Valued Logic

Volumn , Issue , 2001, Pages 3-12

  Brzozowski, J A ^a   Esik Z ^b   Iland, Y ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

^b UNIVERSITY OF SZEGED   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; DELAY CIRCUITS; HAZARDS; LOGIC CIRCUITS; LOGIC GATES; NUMERICAL ANALYSIS;

HAZARD DETECTION;

DIGITAL CIRCUITS;

EID: 0034822771     PISSN: 0195623X     EISSN: None     Source Type: Journal    
DOI: 10.1109/ISMVL.2001.924548     Document Type: Article

References (39)

1. An algorithm for eight-valued simulation and hazard detection in gate networks
2. Procedures for eliminating static and dynamic hazards in test generation
3. De Morgan Bisemilattices
4. Hazard algebras
5. Hazard algebras
6. A characterization of finite ternary algebras
7. Correspondence between ternary simulation and binary race analysis in gate networks
8. A characterization of ternary simulation of gate networks
9. Delay fault models and test generation for random logic sequential circuits
10. More accurate polynomial-time min-max timing simulation
11. Min-max timing analysis and an application to asynchronous circuits
12. Hazard detection in combinational and sequential switching circuits
13. A cayley theorem for ternary algebras
14. An algebraic model for the analysis of logical circuits
15. Application of three-valued logic to construct the theory of relay networks
16. Application of logical mathematics to the theory of relay networks
17. Digital simulation with multiple logic values
18. The method of recognition of critical hazards, critical races, essential hazards and D-Trio
19. The design and use of hazard-free switching circuits
20. A compact nine-valued logic simulation algorithm
21. A nine-valued logic simulator for digital N-MOS circuits
22. Hazard-non-increasing gate-level optimization algorithms
23. Transient behavior of combinational logic circuits
24. Sur l'application des logiques à trois valeurs à l'étude des schémas à contacts et relais
25. Treatment of transition signals in electronic switching circuits by algebraic methods
26. A nine-valued circuit model for test generation
27. The operation of relay networks in transitional periods
28. Generalized ternary simulation of sequential circuits
29. A symbolic analysis of relay and switching circuits
30. Three levels of accuracy for the simulation of different fault types in digital systems
31. Application of ternary algebra to the study of static hazards