Paper Info
Title
ICCAD-2017 CAD contest in resource-aware patch generation.
Abstract
With a functional Engineering Change Order (ECO) problem, the quality of patch plays an important role in the performance of the patched circuit. In this contest, contestants need to generate patch functions that will make two circuits equivalent, while minimizing the resource cost of the generated patches. Resource cost is the comprehensive physical cost of all the patches, and minimizing the resource cost implies improving patch quality (timing, power, routing, or area). The resource cost of patches can be modeled as a weighting function with respect to several physical properties of nodes used for patches. In ICCAD 2017 CAD Contest, we have assigned each internal node a reasonable constant weight to represent the corresponding physical cost if the node is used for generating patches. Also, the resource cost of the patches is calculated as the weight summation of patches' support nodes. This formulation can elegantly identify wanted algorithms for the resource-aware patch generation problem.
Year
Venue
Keywords
2017
ICCAD
Engineering Change Order,Patch Generation,Equivalence Checking
Field
DocType
ISSN
CAD,Formal equivalence checking,Engineering change order,Computer science,CONTEST,Real-time computing,A-weighting,Electronic circuit,Computer engineering
Conference
1933-7760
ISBN
Citations 
PageRank 
978-1-4503-5950-4
0
0.34
References 
Authors
8
4
Name
Order
Citations
PageRank
Ching-Yi Huang15810.06
Chih-Jen Hsu2324.95
Chi-An Wu342.00
Kei-Yong Khoo429538.21