共 50 条
- [42] Using combinational verification for sequential circuits DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION 1999, PROCEEDINGS, 1999, : 138 - 144
- [43] Fast hazard detection in combinational circuits 41ST DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2004, 2004, : 592 - 595
- [45] Quaternary CMOS Combinational Logic Circuits 2009 INTERNATIONAL CONFERENCE ON INFORMATION AND MULTIMEDIA TECHNOLOGY, PROCEEDINGS, 2009, : 538 - 542
- [47] Synthesis and Verification of Cyclic Combinational Circuits 2015 28TH IEEE INTERNATIONAL SYSTEM-ON-CHIP CONFERENCE (SOCC), 2015, : 257 - 262
- [48] Combinational logical circuits into ternary logic ADVANCED TOPICS IN OPTOELECTRONICS, MICROELECTRONICS, AND NANOTECHNOLOGIES IV, 2009, 7297
- [49] Abstract interpretation of combinational asynchronous circuits STATIC ANALYSIS, PROCEEDINGS, 2004, 3148 : 181 - 196