ICCAD-2020 CAD Contest in X-value Equivalence Checking and Benchmark Suite : Invited Talk

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 appl...

Full description

Saved in:
Bibliographic Details
Main Authors: Hsu, Chih-Jen, Wu, Chi-An, Huang, Ching-Yi, Khoo, Kei-Yong
Format: Conference Proceeding
Language:English
Subjects:
Hardware design languages
IEEE Standards
Logic gates
Optimization
Semantics
Wires
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1558-2434
DOI:10.1145/3400302.3415739