A modular partitioning approach for asynchronous circuit synthesis
DAC '94 Proceedings of the 31st annual Design Automation Conference
A divide-and-conquer approach for asynchronous interface synthesis
ISSS '94 Proceedings of the 7th international symposium on High-level synthesis
On the verification of state-coding in STGs
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
Checking Combinational Equivalence of Speed-Independent Circuits
Formal Methods in System Design
Structural Methods for the Synthesis of Speed-Independent Circuits
EDTC '96 Proceedings of the 1996 European conference on Design and Test
Automatic Synthesis of Speed-Independent Circuits from Signal Transition Graph Specifications
VLSID '96 Proceedings of the 9th International Conference on VLSI Design: VLSI in Mobile Communication
A Visual Approach for Asynchronous Circuit Synthesis
VLSID '97 Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications
Hi-index | 0.00 |