共 49 条
- [1] A Necessary and Sufficient Timing Assumption for Speed-Independent Circuits ASYNC: 2009 15TH IEEE INTERNATIONAL SYMPOSIUM ON ASYNCHRONOUS CIRCUITS AND SYSTEMS, 2009, : 58 - +
- [5] On synthesis of speed-independent circuits at STG level PROCEEDINGS OF THE ASP-DAC '97 - ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE 1997, 1996, : 619 - 624
- [9] Structural methods for the synthesis of speed-independent circuits EUROPEAN DESIGN & TEST CONFERENCE 1996 - ED&TC 96, PROCEEDINGS, 1996, : 340 - 347
- [10] Checking Combinational Equivalence of Speed-Independent Circuits Formal Methods in System Design, 1998, 13 : 37 - 85