Match and replace a functional eco engine for multi error circuit rectification
This presentation is the property of its rightful owner.
Sponsored Links
1 / 21

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


  • 72 Views
  • Uploaded on
  • Presentation posted in: General

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

Download Presentation

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

An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


Match and replace a functional eco engine for multi error circuit rectification

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

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

ICCAD’11


Outline

outline

  • INTRODUCTION

  • AN ILLUSTRATIVE EXAMPLE

  • THE MATCHING PHASE

  • THE REPLACEMENT PHASE

  • MATCH-AND-REPLACE ECO ENGINE

  • EXPERIMENTAL RESULTS

  • CONCLUSION


Introduction

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.


Introduction1

INTRODUCTION


An illustrative example

AN ILLUSTRATIVE EXAMPLE


An illustrative example1

AN ILLUSTRATIVE EXAMPLE


The matching phase

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 phase1

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.


The matching phase2

THE MATCHING PHASE


The matching phase3

THE MATCHING PHASE


The matching phase4

THE MATCHING PHASE

  • Cut Matching Algorithm

    • extend the SAT-based Boolean matching algorithm in [10]


The matching phase5

THE MATCHING PHASE


The replacement phase

THE REPLACEMENT PHASE

Rectification Pair Selection


The replacement phase1

THE REPLACEMENT PHASE


The replacement phase2

THE REPLACEMENT PHASE

  • Patch Minimization


Match and replace eco engine

MATCH-AND-REPLACE ECO ENGINE


Experimental results

EXPERIMENTAL RESULTS

  • ISCAS’89 benchmarks

  • MiniSAT [19] as our SAT engine

  • Linux workstation with 32GB RAM and 2.5GHz Intel Xeon CPU


Experimental results1

EXPERIMENTAL RESULTS


Experimental results2

EXPERIMENTAL RESULTS


Experimental results3

EXPERIMENTAL RESULTS


Conclusion

CONCLUSION

  • A matching-based functional ECO engine

  • The rectification pair matching algorithm efficiently identifies functional relations

  • patch minimization effectively optimizes the patch sizes


  • Login