Sequential optimization of asynchronous and synchronous finite-state machines: algorithms and tools

OPTIMISTA: state minimization of asynchronous FSMs for optimum output logic

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

Transformations for the synthesis and optimization of asynchronous distributed control

Proceedings of the 38th annual Design Automation Conference

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

A structural encoding technique for the synthesis of asynchronous circuits

Fundamenta Informaticae - Application of concurrency to system design

ILP Models for the Synthesis of Asynchronous Control Circuits

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

A structural encoding technique for the synthesis of asynchronous circuits

Fundamenta Informaticae - Application of Concurrency to System Design