共 50 条
- [24] PolyCleaner: Clean your Polynomials before Backward Rewriting to Verify Million-gate Multipliers 2018 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD) DIGEST OF TECHNICAL PAPERS, 2018,
- [25] Advanced VLSI Circuits Simulation 2017 INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING & SIMULATION (HPCS), 2017, : 526 - 533
- [27] FUNCTIONAL COMPARISON OF LOGIC DESIGNS FOR VLSI CIRCUITS 1989 IEEE INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS, 1989, : 456 - 459
- [28] Simulation on modular circuits for parallel-analogue fuzzy logic controller INTELLIGENT CONTROL FOR AGRICULTURAL APPLICATIONS 2001, 2002, : 253 - 258
- [29] Using reverse circuit execution for efficient parallel simulation of logic circuits MATHEMATICS OF DATA/IMAGE CODING, COMPRESSION, AND ENCRYPTION V, WITH APPLICATIONS, 2002, 4793 : 267 - 275