Upload
marcella-forshaw
View
218
Download
1
Tags:
Embed Size (px)
Citation preview
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