共 50 条
- [31] ICCAD-2012 CAD Contest in Finding the Minimal Logic Difference for Functional ECO and Benchmark Suite [J]. 2012 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2012, : 342 - 344
- [32] ICCAD-2016 CAD Contest in Non-exact Projective NPNP Boolean Matching and Benchmark Suite [J]. 2016 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2016,
- [33] ICCAD-2012 CAD Contest in Design Hierarchy Aware Routability-Driven Placement and Benchmark Suite [J]. 2012 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2012, : 345 - 348
- [34] ICCAD-2016 CAD Contest in Pattern Classification for Integrated Circuit Design Space Analysis and Benchmark Suite [J]. 2016 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2016,
- [35] ICCAD-2020 CAD Contest in X-value Equivalence Checking and Benchmark Suite Invited Talk [J]. 2020 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED-DESIGN (ICCAD), 2020,
- [36] ICCAD-2015 CAD Contest in Large-scale Equivalence Checking and Function Correction and Benchmark Suite [J]. 2015 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2015, : 916 - 920
- [37] Invited Paper: 2023 ICCAD CAD Contest Problem C: Static IR Drop Estimation Using Machine Learning [J]. 2023 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, ICCAD, 2023,
- [38] Invited Paper: 2023 ICCAD CAD Contest Problem A: Multi-bit Large-scale Boolean Matching [J]. 2023 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, ICCAD, 2023,
- [39] First CADathlon programming contest held at 2002 ICCAD [J]. IEEE DESIGN & TEST OF COMPUTERS, 2003, 20 (03): : 104 - 107