Match and Replace — A Functional ECO Engine for Multi-Error Circuit Rectification

1. Match and Replace — A Functional ECO Engine forMulti-Error Circuit Rectification Shao-LunHuangy, Wei-Hsun Linz, Chung-Yang (Ric) Huangyz ICCAD’11

2. outline • INTRODUCTION • AN ILLUSTRATIVE EXAMPLE • THE MATCHING PHASE • THE REPLACEMENT PHASE • MATCH-AND-REPLACE ECO ENGINE • EXPERIMENTAL RESULTS • CONCLUSION

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

4. INTRODUCTION

5. AN ILLUSTRATIVE EXAMPLE

6. AN ILLUSTRATIVE EXAMPLE

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

8. THE MATCHING PHASE • Cut function : • A Cut function in a circuit Cir,representedas CFCir(CUT), is a modified output function of Cir which its input signal are moved from the PIs of Cir to the cut CUT.

9. THE MATCHING PHASE

10. THE MATCHING PHASE

11. THE MATCHING PHASE • Cut Matching Algorithm • extend the SAT-based Boolean matching algorithm in [10]

12. THE MATCHING PHASE

13. THE REPLACEMENT PHASE Rectification Pair Selection

14. THE REPLACEMENT PHASE

15. THE REPLACEMENT PHASE • Patch Minimization

16. MATCH-AND-REPLACE ECO ENGINE

17. EXPERIMENTAL RESULTS • ISCAS’89 benchmarks • MiniSAT [19] as our SAT engine • Linux workstation with 32GB RAM and 2.5GHz Intel Xeon CPU

18. EXPERIMENTAL RESULTS

19. EXPERIMENTAL RESULTS

20. EXPERIMENTAL RESULTS

21. CONCLUSION • A matching-based functional ECO engine • The rectification pair matching algorithm efficiently identifies functional relations • patch minimization effectively optimizes the patch sizes