Synthesis of verifiably hazard-free asynchronous control circuits
Proceedings of the 1991 University of California/Santa Cruz conference on Advanced research in VLSI
Asynchronous Sequential Switching Circuit
Asynchronous Sequential Switching Circuit
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
Estimation and bounding of energy consumption in burst-mode control circuits
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Symbolic hazard-free minimization and encoding of asynchronous finite state machines
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Synthesis of hazard-free customized CMOS complex-gate networks under multiple-input changes
DAC '96 Proceedings of the 33rd 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
Logic Synthesis and Verification
An FPGA for Implementing Asynchronous Circuits
IEEE Design & Test
Algorithms for the optimal state assignment of asynchronous state machines
ARVLSI '95 Proceedings of the 16th Conference on Advanced Research in VLSI (ARVLSI'95)
Synthesis of asynchronous circuits for stuck-at and robust path delay fault testability
VLSID '95 Proceedings of the 8th International Conference on VLSI Design
Synthesis for Logical Initializability of Synchronous Finite State Machines
VLSID '97 Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications
Beyond two
Fast hazard detection in combinational circuits
Proceedings of the 41st annual Design Automation Conference
Abstract interpretation of combinational asynchronous circuits
Science of Computer Programming
Dual-rail asynchronous logic multi-level implementation
Integration, the VLSI Journal
Hi-index | 0.00 |