Formal program transformations for VLSI circuit synthesis

Solving the state assignment problem for signal transition graphs

DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference

Externally hazard-free implementations of asynchronous circuits

DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference

A comparison of CMOS implementations of an asynchronous circuits primitive: the C-element

ISLPED '96 Proceedings of the 1996 international symposium on Low power electronics and design

AMULET1: An Asynchronous ARM Microprocessor

IEEE Transactions on Computers

A Tabular Method for Guard Strengthening, Symmetrization, and Operator Reduction for Martin's Asynchronous Design Methodology

IEEE Transactions on Computers

Scalable formal design methods for asynchronous VLSI

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

A High-Speed Clockless Serial Link Transceiver

ASYNC '03 Proceedings of the 9th International Symposium on Asynchronous Circuits and Systems

Asynchronous gate-diffusion-input (GDI) circuits

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

A New Approach to Single Event Effect Tolerance Based on Asynchronous Circuit Technique

Journal of Electronic Testing: Theory and Applications

Optimizing and comparing CMOS implementations of the C-element in 65nm technology: self-timed ring case

PATMOS'10 Proceedings of the 20th international conference on Integrated circuit and system design: power and timing modeling, optimization and simulation