The design of an asynchronous microprocessor
Proceedings of the decennial Caltech conference on VLSI on Advanced research in VLSI
Performance analysis and optimization of asynchronous circuits
Performance analysis and optimization of asynchronous circuits
Stari: a technique for high-bandwidth communication
Stari: a technique for high-bandwidth communication
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Algorithms for Interface Timing Verification
ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
Synthesis of Timed Asynchronous Circuits
ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
Bounded Delay Timing Analysis of a Class of CSP Programs
Formal Methods in System Design
Semantics and verification of action diagrams with linear timing
ACM Transactions on Design Automation of Electronic Systems (TODAES)
An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems
IEEE Transactions on Computers
High performance asynchronous design flow using a novel static performance analysis method
Computers and Electrical Engineering
Hi-index | 0.00 |