appearance based equivalence checking n.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
Appearance-Based Equivalence Checking PowerPoint Presentation
Download Presentation
Appearance-Based Equivalence Checking

Loading in 2 Seconds...

play fullscreen
1 / 13

Appearance-Based Equivalence Checking - PowerPoint PPT Presentation


  • 90 Views
  • Uploaded on

Appearance-Based Equivalence Checking. Speaker: Daw -Ming Lee Advisor: Chun- Yao Wang 2009.06.12. Introduction. Given two circuits, golden circuit and revised circuit A ccording to their appearance , transform revised circuit to make it similar to golden circuit. Step I.

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'Appearance-Based Equivalence Checking' - hawa


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
appearance based equivalence checking

Appearance-Based Equivalence Checking

Speaker: Daw-Ming Lee

Advisor: Chun-Yao Wang

2009.06.12

introduction
Introduction
  • Given two circuits, golden circuit and revised circuit
  • According to their appearance , transform revised circuit to make it similar to golden circuit
step i
Step I
  • Convert multiple outputs circuit to many single output circuits, and examine each pair of single output circuits are equivalent or not
  • Transform each single output circuit to AIG form
transformation flow chart
Transformation flow chart

Compare the golden and revised circuits

Structurally identical?

T

End

F

Choose one target wire to remove/add

Redundant?

F

Add rectified circuit

T

Remove/add the target wire

slide5
RAR

a

a

b

b

c

a

c

a

a

b

b

c

a

c

slide6
RAR

a

a

b

b

c

a

c

1

a

0

b

c

1/0

1

a

c

1

0

violate MA

Redundant addition, no need to add rectified circuit

slide7
RAR

a

b

a

c

b

c

a

c

1

a

0

b

1

c

1

a

1

c

1

1/0

slide8
IRRA

a

a

b

b

a

b

a

a

b

b

a

a

b

b

slide9
IRRA

a

a

b

b

a

a

b

b

a

b

0

0/1

a

b

1/0

1/0

a

0

b

slide10
IRRA

a

a

b

b

a

a

b

b

a

b

1

a

a

0/1

b

1

Redundant remove, no need to add rectified circuit

slide11
IRRA

a

a

b

b

a

a

b

b

a

b

a

b

future work
Future work
  • Find the rectified circuit of the missing/extra NOT fault
  • IRAA

a

a

b

b

a

a

b

b