Automatic gate-level synthesis of speed-independent circuits

Synthesis of concurrent system interface modules with automatic protocol conversion generation

ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design

Synthesis of hazard-free multi-level logic under multiple-input changes from binary decision diagrams

ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design

Performance-driven synthesis of asynchronous controllers

ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design

Decomposition methods for library binding of speed-independent asynchronous designs

ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design

A communicating Petri net model for the design of concurrent asynchronous modules

DAC '94 Proceedings of the 31st annual Design Automation Conference

Basic gate implementation of speed-independent circuits

DAC '94 Proceedings of the 31st annual Design Automation Conference

A general state graph transformation framework for asynchronous synthesis

EURO-DAC '94 Proceedings of the conference on European design automation

Hierarchical optimization of asynchronous circuits

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

Externally hazard-free implementations of asynchronous circuits

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

Unifying synchronous/asynchronous state machine synthesis

ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design

Efficient verification of determinate speed-independent circuits

ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design

Decomposition and technology mapping of speed-independent circuits using Boolean relations

ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design

Synthesis of Hazard-Free Asynchronous Circuits Based on Characteristic Graph

IEEE Transactions on Computers

Asynchronous interface specification, analysis and synthesis

DAC '98 Proceedings of the 35th annual Design Automation Conference

Exact two-level minimization of hazard-free logic with multiple-input changes

ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design

Practical advances in asynchronous design and in asynchronous/synchronous interfaces

Proceedings of the 36th annual ACM/IEEE Design Automation Conference

Hazard-Free Self-Timed Design: Methodology and Application to Asynchronous Routing in an Heterogeneous Parallel Machine

Journal of VLSI Signal Processing Systems

A methodology for correct-by-construction latency insensitive design

ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design

Direct synthesis of timed asynchronous circuits

ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design

Achieving fast and exact hazard-free logic minimization of extended burst-mode gC finite state machines

Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design

Optimised state assignment for asynchronous circuit synthesis

ASYNC '95 Proceedings of the 2nd Working Conference on Asynchronous Design Methodologies

Structural Methods for the Synthesis of Speed-Independent Circuits

EDTC '96 Proceedings of the 1996 European conference on Design and Test

Technology Mapping of Speed-Independent Circuits Based on Combinational Decomposition and Resynthesis

EDTC '97 Proceedings of the 1997 European conference on Design and Test

Hazard-free self-timed design: methodology and application

Integrated Computer-Aided Engineering

Hardware and Petri nets: application to asynchronous circuit design

ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets