The Princeton University behavioral synthesis system
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Verification of digital circuits based on formal semantics of a hardware description language
EURO-DAC '92 Proceedings of the conference on European design automation
An Automaton Model for Scheduling Constraints in Synchronous Machines
IEEE Transactions on Computers
True Concurrency in Models of Asynchronous Circuit Behavior
Formal Methods in System Design
Hierarchical gate-level verification of speed-independent circuits
ASYNC '95 Proceedings of the 2nd Working Conference on Asynchronous Design Methodologies
Relativistic Causality and Clockless Circuits
ACM Journal on Emerging Technologies in Computing Systems (JETC)
| Hi-index | 0.00 |