Name
Title | ||
|---|---|---|
ICCAD-2020 CAD Contest in X-value Equivalence Checking and Benchmark Suite : Invited Talk |
Abstract | ||
|---|---|---|
Equivalence checking is the practical industrial solution to signoff digital functionality for large-scale circuits. However, when design contains implicit and explicit X-values, the complexity of equivalence checking increases and heuristics used in binary-value equivalence checking may not be applicable for X-value equivalence checking. The goal of the ICCAD 2020 CAD contest is to ask the good algorithm and heuristic to solve the X-value equivalence checking. In this contest, we provide the benchmark suites for contestant to evaluate their program. We hope the contest result can improve industry applications and bring more research interests. |
Year | Venue | Keywords |
|---|---|---|
2020 | 2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD) | X-value equivalence checking,benchmark suite,binary-value equivalence checking,ICCAD-2020 CAD contest,signoff digital functionality,large-scale circuits |
DocType | ISSN | Citations |
Conference | 1933-7760 | 0 |
PageRank | References | Authors |
0.34 | 0 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Chih-Jen Hsu | 1 | 32 | 4.95 |
| Chi-An Wu | 2 | 4 | 2.00 |
| Ching-Yi Huang | 3 | 58 | 10.06 |
| Kei-Yong Khoo | 4 | 295 | 38.21 |