ICCAD-2016 CAD contest in Non-exact Projective NPNP Boolean Matching and benchmark suite

Boolean Matching is significant to industry applications, such as library binding, synthesis, engineer change order, and hardware Trojan detection. Instead of basic Boolean matching, Non-exact Projective NPNP Boolean Matching allows to match two designs by not only negating and permuting inputs/outp...

Full description

Saved in:
Bibliographic Details
Main Authors: Chi-An Wu, Chih-Jen Hsu, Kei-Yong Khoo
Format: Conference Proceeding
Language:English
Subjects:
Benchmark testing
Boolean Matching
Engineering Change Order
Engines
Equivalence Checking
Hardware design languages
Impedance matching
Logic gates
Runtime
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Boolean Matching is significant to industry applications, such as library binding, synthesis, engineer change order, and hardware Trojan detection. Instead of basic Boolean matching, Non-exact Projective NPNP Boolean Matching allows to match two designs by not only negating and permuting inputs/outputs but also merging them or binding constants to inputs. Besides, the matching goal is extended to achieve the largest number of output equivalences between two designs. This kind of Boolean matching may get better quality in the related applications due to more flexibility and scalability, and the development of its algorithms is more challengeable. Hence, this problem has some research values. In ICCAD 2016 CAD contest, given two designs, participants need to decide how to permute, negate and merge designs' inputs/outputs or bind constants for achieving largest number of output equivalences. The score will be evaluated by how many outputs are equivalent and the runtime. We expect the contest result can improve industry applications and bring more research interests.
ISSN:1558-2434
DOI:10.1145/2966986.2980072