Paper Info
Title
ICCAD-2016 CAD contest in non-exact projective NPNP boolean matching and benchmark suite.
Abstract
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.
Year
DOI
Venue
2016
10.1145/2966986.2980072
ICCAD
Keywords
Field
DocType
Boolean Matching,Equivalence Checking,Engineering Change Order
CAD,Formal equivalence checking,Engineering change order,Hardware Trojan,Logic gate,Computer science,Permutation,Electronic engineering,Theoretical computer science,Benchmark (computing),Scalability
Conference
ISSN
ISBN
Citations 
1933-7760
978-1-5090-3421-5
2
PageRank 
References 
Authors
0.41
10
3
Name
Order
Citations
PageRank
Chi-An Wu142.00
Chih-Jen Hsu2324.95
Kei-Yong Khoo329538.21