Appearance-Based Equivalence Checking

1 / 13

# Appearance-Based Equivalence Checking - PowerPoint PPT Presentation

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.

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

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

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

Speaker: Daw-Ming Lee

2009.06.12

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

Compare the golden and revised circuits

Structurally identical?

T

End

F

Choose one target wire to remove/add

Redundant?

F

T

RAR

a

a

b

b

c

a

c

a

a

b

b

c

a

c

RAR

a

a

b

b

c

a

c

1

a

0

b

c

1/0

1

a

c

1

0

violate MA

RAR

a

b

a

c

b

c

a

c

1

a

0

b

1

c

1

a

1

c

1

1/0

IRRA

a

a

b

b

a

b

a

a

b

b

a

a

b

b

IRRA

a

a

b

b

a

a

b

b

a

b

0

0/1

a

b

1/0

1/0

a

0

b

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

IRRA

a

a

b

b

a

a

b

b

a

b

a

b

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

a

a

b

b

a

a

b

b