Application of Ternary Algebra to the Study of Static Hazards
Journal of the ACM (JACM)
Hazards, Critical Races, and Metastability
IEEE Transactions on Computers
An Analysis of Determinacy Using a Trace-Theoretic Model of Asynchronous Circuits
ASYNC '03 Proceedings of the 9th International Symposium on Asynchronous Circuits and Systems
MVL '78 Proceedings of the eighth international symposium on Multiple-valued logic
Verification of hardware designs thru symbolic manipulation
Proceedings of the Symposium on Design Automation and Microprocessors
Beyond two
Performance enhancement in phased logic circuits using automatic slack-matching buffer insertion
Proceedings of the 14th ACM Great Lakes symposium on VLSI
Essential Hazard Correction Without the Use of Delay Elements
IEEE Transactions on Computers
A Unified Approach to Combinational Hazards
IEEE Transactions on Computers
Some Aids to the Detection of Hazards in Combinational Switching Circuits
IEEE Transactions on Computers
Stored State Asynchronous Sequential Circuits
IEEE Transactions on Computers
Hazards in Asynchronous Sequential Circuits
IEEE Transactions on Computers
IEEE Transactions on Computers
A Simplified General Method for Static Hazard Detection
IEEE Transactions on Computers
Design of Asynchronous Circuits Assuming Unbounded Gate Delays
IEEE Transactions on Computers
Design criteria for autosynchronous circuits
AIEE-ACM-IRE '58 (Eastern) Papers and discussions presented at the December 3-5, 1958, eastern joint computer conference: Modern computers: objectives, designs, applications
The Future of Formal Methods and GALS Design
Electronic Notes in Theoretical Computer Science (ENTCS)
Hazard detection in combinational and sequential switching circuits
IBM Journal of Research and Development
Hi-index | 0.03 |