On the Delay-Sensitivity of Gate Networks
IEEE Transactions on Computers
A technique for synthesizing distributed burst-mode circuits
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Testing two-phase transition signaling based self-timed circuits in a synthesis environment
ISSS '94 Proceedings of the 7th international symposium on High-level synthesis
Relative Liveness: From Intuition to Automated Verification
Formal Methods in System Design
Delay-Insensitivity and Semi-Modularity
Formal Methods in System Design
An FPGA for Implementing Asynchronous Circuits
IEEE Design & Test
Specification and Validation of Control-Intensive IC's in hopCP
IEEE Transactions on Software Engineering
True Concurrency in Models of Asynchronous Circuit Behavior
Formal Methods in System Design
Fast functional testing of delay-insensitive circuits
ATS '95 Proceedings of the 4th Asian Test Symposium
ASYNC '96 Proceedings of the 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems
Asynchronous Design - An Interesting Alternative
VLSID '97 Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications
A formal approach to designing delay-insensitive circuits
Distributed Computing
Automatic Synthesis of Composable Sequential Quantum Boolean Circuits
ICCD '05 Proceedings of the 2005 International Conference on Computer Design
Hi-index | 0.00 |