Match and Replace — A Functional ECO Engine for

Multi-Error Circuit Rectification

Shao-Lun Huangy, Wei-Hsun Linz, Chung-Yang (Ric) Huangyz

ICCAD’11

outline

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

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.

INTRODUCTION

AN ILLUSTRATIVE EXAMPLE

AN ILLUSTRATIVE EXAMPLE

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.

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.

THE MATCHING PHASE

THE MATCHING PHASE

THE MATCHING PHASE

• Cut Matching Algorithm– extend the SAT-based Boolean matching algorithm

in [10]

THE MATCHING PHASE

THE REPLACEMENT PHASE Rectification Pair Selection

THE REPLACEMENT PHASE

THE REPLACEMENT PHASE

• Patch Minimization

MATCH-AND-REPLACE ECO ENGINE

EXPERIMENTAL RESULTS

• ISCAS’89 benchmarks• MiniSAT [19] as our SAT engine• Linux workstation with 32GB RAM and 2.5GHz

Intel Xeon CPU

EXPERIMENTAL RESULTS

EXPERIMENTAL RESULTS

EXPERIMENTAL RESULTS

CONCLUSION

• A matching-based functional ECO engine• The rectification pair matching algorithm

efficiently identifies functional relations• patch minimization effectively optimizes the

patch sizes