match and replace — a functional eco engine for multi-error circuit rectification shao-lun huangy,...
TRANSCRIPT
![Page 1: Match and Replace — A Functional ECO Engine for Multi-Error Circuit Rectification Shao-Lun Huangy, Wei-Hsun Linz, Chung-Yang (Ric) Huangyz ICCAD’11](https://reader036.vdocument.in/reader036/viewer/2022062620/551a7deb550346e0158b4848/html5/thumbnails/1.jpg)
Match and Replace — A Functional ECO Engine for
Multi-Error Circuit Rectification
Shao-Lun Huangy, Wei-Hsun Linz, Chung-Yang (Ric) Huangyz
ICCAD’11
![Page 2: Match and Replace — A Functional ECO Engine for Multi-Error Circuit Rectification Shao-Lun Huangy, Wei-Hsun Linz, Chung-Yang (Ric) Huangyz ICCAD’11](https://reader036.vdocument.in/reader036/viewer/2022062620/551a7deb550346e0158b4848/html5/thumbnails/2.jpg)
outline
• INTRODUCTION• AN ILLUSTRATIVE EXAMPLE• THE MATCHING PHASE • THE REPLACEMENT PHASE • MATCH-AND-REPLACE ECO ENGINE• EXPERIMENTAL RESULTS• CONCLUSION
![Page 3: Match and Replace — A Functional ECO Engine for Multi-Error Circuit Rectification Shao-Lun Huangy, Wei-Hsun Linz, Chung-Yang (Ric) Huangyz ICCAD’11](https://reader036.vdocument.in/reader036/viewer/2022062620/551a7deb550346e0158b4848/html5/thumbnails/3.jpg)
INTRODUCTION
• Functional ECO has been an indispensible technique in modern VLSI design flow.
• An engineering change order (ECO) approach that aims at rectifying the design problems after synthesis and optimization.
![Page 4: Match and Replace — A Functional ECO Engine for Multi-Error Circuit Rectification Shao-Lun Huangy, Wei-Hsun Linz, Chung-Yang (Ric) Huangyz ICCAD’11](https://reader036.vdocument.in/reader036/viewer/2022062620/551a7deb550346e0158b4848/html5/thumbnails/4.jpg)
INTRODUCTION
![Page 5: Match and Replace — A Functional ECO Engine for Multi-Error Circuit Rectification Shao-Lun Huangy, Wei-Hsun Linz, Chung-Yang (Ric) Huangyz ICCAD’11](https://reader036.vdocument.in/reader036/viewer/2022062620/551a7deb550346e0158b4848/html5/thumbnails/5.jpg)
AN ILLUSTRATIVE EXAMPLE
![Page 6: Match and Replace — A Functional ECO Engine for Multi-Error Circuit Rectification Shao-Lun Huangy, Wei-Hsun Linz, Chung-Yang (Ric) Huangyz ICCAD’11](https://reader036.vdocument.in/reader036/viewer/2022062620/551a7deb550346e0158b4848/html5/thumbnails/6.jpg)
AN ILLUSTRATIVE EXAMPLE
![Page 7: Match and Replace — A Functional ECO Engine for Multi-Error Circuit Rectification Shao-Lun Huangy, Wei-Hsun Linz, Chung-Yang (Ric) Huangyz ICCAD’11](https://reader036.vdocument.in/reader036/viewer/2022062620/551a7deb550346e0158b4848/html5/thumbnails/7.jpg)
THE MATCHING PHASE
• rectification pairs : – A group of pairs are rectification pairs if and only if
replacing all no in these pairs with their ng makes the original and the golden circuits turn into functionally equivalent.
![Page 8: Match and Replace — A Functional ECO Engine for Multi-Error Circuit Rectification Shao-Lun Huangy, Wei-Hsun Linz, Chung-Yang (Ric) Huangyz ICCAD’11](https://reader036.vdocument.in/reader036/viewer/2022062620/551a7deb550346e0158b4848/html5/thumbnails/8.jpg)
THE MATCHING PHASE
• Cut function : – A Cut function in a circuit Cir,represented as
CFCir(CUT), is a modified output function of Cir which its input signal are moved from the PIs of Cir to the cut CUT.
![Page 9: Match and Replace — A Functional ECO Engine for Multi-Error Circuit Rectification Shao-Lun Huangy, Wei-Hsun Linz, Chung-Yang (Ric) Huangyz ICCAD’11](https://reader036.vdocument.in/reader036/viewer/2022062620/551a7deb550346e0158b4848/html5/thumbnails/9.jpg)
THE MATCHING PHASE
![Page 10: Match and Replace — A Functional ECO Engine for Multi-Error Circuit Rectification Shao-Lun Huangy, Wei-Hsun Linz, Chung-Yang (Ric) Huangyz ICCAD’11](https://reader036.vdocument.in/reader036/viewer/2022062620/551a7deb550346e0158b4848/html5/thumbnails/10.jpg)
THE MATCHING PHASE
![Page 11: Match and Replace — A Functional ECO Engine for Multi-Error Circuit Rectification Shao-Lun Huangy, Wei-Hsun Linz, Chung-Yang (Ric) Huangyz ICCAD’11](https://reader036.vdocument.in/reader036/viewer/2022062620/551a7deb550346e0158b4848/html5/thumbnails/11.jpg)
THE MATCHING PHASE
• Cut Matching Algorithm– extend the SAT-based Boolean matching algorithm
in [10]
![Page 12: Match and Replace — A Functional ECO Engine for Multi-Error Circuit Rectification Shao-Lun Huangy, Wei-Hsun Linz, Chung-Yang (Ric) Huangyz ICCAD’11](https://reader036.vdocument.in/reader036/viewer/2022062620/551a7deb550346e0158b4848/html5/thumbnails/12.jpg)
THE MATCHING PHASE
![Page 13: Match and Replace — A Functional ECO Engine for Multi-Error Circuit Rectification Shao-Lun Huangy, Wei-Hsun Linz, Chung-Yang (Ric) Huangyz ICCAD’11](https://reader036.vdocument.in/reader036/viewer/2022062620/551a7deb550346e0158b4848/html5/thumbnails/13.jpg)
THE REPLACEMENT PHASE Rectification Pair Selection
![Page 14: Match and Replace — A Functional ECO Engine for Multi-Error Circuit Rectification Shao-Lun Huangy, Wei-Hsun Linz, Chung-Yang (Ric) Huangyz ICCAD’11](https://reader036.vdocument.in/reader036/viewer/2022062620/551a7deb550346e0158b4848/html5/thumbnails/14.jpg)
THE REPLACEMENT PHASE
![Page 15: Match and Replace — A Functional ECO Engine for Multi-Error Circuit Rectification Shao-Lun Huangy, Wei-Hsun Linz, Chung-Yang (Ric) Huangyz ICCAD’11](https://reader036.vdocument.in/reader036/viewer/2022062620/551a7deb550346e0158b4848/html5/thumbnails/15.jpg)
THE REPLACEMENT PHASE
• Patch Minimization
![Page 16: Match and Replace — A Functional ECO Engine for Multi-Error Circuit Rectification Shao-Lun Huangy, Wei-Hsun Linz, Chung-Yang (Ric) Huangyz ICCAD’11](https://reader036.vdocument.in/reader036/viewer/2022062620/551a7deb550346e0158b4848/html5/thumbnails/16.jpg)
MATCH-AND-REPLACE ECO ENGINE
![Page 17: Match and Replace — A Functional ECO Engine for Multi-Error Circuit Rectification Shao-Lun Huangy, Wei-Hsun Linz, Chung-Yang (Ric) Huangyz ICCAD’11](https://reader036.vdocument.in/reader036/viewer/2022062620/551a7deb550346e0158b4848/html5/thumbnails/17.jpg)
EXPERIMENTAL RESULTS
• ISCAS’89 benchmarks• MiniSAT [19] as our SAT engine• Linux workstation with 32GB RAM and 2.5GHz
Intel Xeon CPU
![Page 18: Match and Replace — A Functional ECO Engine for Multi-Error Circuit Rectification Shao-Lun Huangy, Wei-Hsun Linz, Chung-Yang (Ric) Huangyz ICCAD’11](https://reader036.vdocument.in/reader036/viewer/2022062620/551a7deb550346e0158b4848/html5/thumbnails/18.jpg)
EXPERIMENTAL RESULTS
![Page 19: Match and Replace — A Functional ECO Engine for Multi-Error Circuit Rectification Shao-Lun Huangy, Wei-Hsun Linz, Chung-Yang (Ric) Huangyz ICCAD’11](https://reader036.vdocument.in/reader036/viewer/2022062620/551a7deb550346e0158b4848/html5/thumbnails/19.jpg)
EXPERIMENTAL RESULTS
![Page 20: Match and Replace — A Functional ECO Engine for Multi-Error Circuit Rectification Shao-Lun Huangy, Wei-Hsun Linz, Chung-Yang (Ric) Huangyz ICCAD’11](https://reader036.vdocument.in/reader036/viewer/2022062620/551a7deb550346e0158b4848/html5/thumbnails/20.jpg)
EXPERIMENTAL RESULTS
![Page 21: Match and Replace — A Functional ECO Engine for Multi-Error Circuit Rectification Shao-Lun Huangy, Wei-Hsun Linz, Chung-Yang (Ric) Huangyz ICCAD’11](https://reader036.vdocument.in/reader036/viewer/2022062620/551a7deb550346e0158b4848/html5/thumbnails/21.jpg)
CONCLUSION
• A matching-based functional ECO engine• The rectification pair matching algorithm
efficiently identifies functional relations• patch minimization effectively optimizes the
patch sizes