1 / 21

RECTIFIED CIRCUIT AT Forced MA

Speaker: Daw -Ming Li Advisor: Chun-Yao Wang 2009.10.02. RECTIFIED CIRCUIT AT Forced MA. Rectified circuit when destination is forced MA. 1. 1. SMAs. SMAs. ……. ……. gn. gn. gd. gd. 1. 0. 0. 1. violate MA. violate MA. Problem description.

dick
Download Presentation

RECTIFIED CIRCUIT AT Forced MA

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. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Speaker: Daw-Ming Li Advisor: Chun-Yao Wang 2009.10.02 RECTIFIED CIRCUIT AT Forced MA

  2. Rectified circuit when destination is forced MA 1 1 SMAs SMAs …….. …….. gn gn gd gd 1 0 0 1 violate MA violate MA

  3. Problem description • Not all forced MA can be destination to IRRA rectified circuit scheme.

  4. Problem description a g1 g4 g3 g5 g2 b c a d e

  5. Problem description 0 0/1 a g1 g4 g3 g5 g2 0/1 b 0 1 c 0/1 0/1 a 0 1 d e

  6. Problem description 0 0/1 a g1 g4 g3 g5 g2 0/1 b 0 1 c 0/1 0/1 a 0 1 d e

  7. Problem description 0 0/1 a g1 g4 b SMA g3 g5 g2 0/1 0 Equivalent, forced MA{c=1} can be a destination c 1 gn 0/1 0/1 a 0 1 d e

  8. Problem description 0 0/1 a g1 g4 g3 g5 g2 0/1 b 0 1 c 0/1 0/1 a 0 1 d e

  9. Problem description 0 0/1 a gn g1 g4 SMA g3 g5 g2 0/1 b 0 Not equivalent, forced MA {g3=0} cannot be a destination 1 c 0/1 0/1 a 0 1 d e

  10. Problem description • Adding the rectified circuit can successfully make the target wire redundant • Adding the rectified circuit may produce another fault, which causes the circuit changing the functionality

  11. When destination is dominator • The added wire (AND(SMA) --> gn) for original (good) circuit is always redundant. • Proof: SMAs …….. 1/0 gn gd Fault:0/1 1 conflict !! added wire is redundant gn can mask the fault for adding the wire gdgood(SMA)

  12. When destination is forced MA • The added wire (AND(SMA) --> gn) for original circuit is not always redundant. • Proof: SMAs …….. 1/0 1/0 gn gd 1 Forced MA:1 consistent, this fault may propagate to PO gn cannot mask fault for adding the wire, but this fault may be masked at the fanout cone of gn

  13. Forced MA can be a destination The added wire is redundant conflict 0 0/1 g2 masks the fault for adding the wire a g4 g1 1 b SMA g3 g5 g2 0/1 0 c 1 gn 0/1 0/1 1/0 0/1 a 0 1 d e

  14. Forced MA cannot be a destination The added wire is not redundant 0 0/1 a gn g1 g4 There is no gate can mask the fault for adding target wire SMA g5 g3 g2 0/1 0 b 0 1 c 0/1 1/0 1/0 0/1 a 0 1/0 1 d 1/0 e

  15. Conclusion • When propagating the fault for removing a target wire, if the gagood(SMA) is controlling value of gb, forced MA on the side input cone of gb can be destination of IRRA rectified scheme. gb 0/1 ga 1/0

  16. Example cv 0 0/1 a g1 g4 ncv g3 g5 g2 0/1 b 0 1 cv c 0/1 0/1 a 0 1 d e

  17. Fast redundancy checking of SMAs • When propagating the fault for removing a target wire, if the gagood(SMA) is controlling value of gb, source MA on the side input cone of gb is redundant. gb 0/1 ga 1/0

  18. The original rectified circuit of IRRA 0 0/1 a a g1 g4 b g3 g5 gn g2 0/1 b 0 SMA c e 1 c 0/1 a 0 0/1 d 1 e

  19. The original rectified circuit of IRRA 0 0 0/1 a a 1 g1 g4 0 0 b 0 g3 g5 gn g2 0/1 0/1 b SMA c 1 e 0/1 1 c 0/1 a 0 0/1 1 d e

  20. Example cv 0 0/1 a a g1 g4 ncv b g5 g3 gn g2 0/1 b 0 SMA 1 cv c 0/1 0/1 a 0 1 d e

  21. Thank you

More Related