1 / 12

Multi-wires Removal and Rectification Using Interpolant

Multi-wires Removal and Rectification Using Interpolant. Speaker: Guo-Jhu Hunag Advisor: Chun-Yao Wang 2009/11/20. Outline. Problem Formulation How Interpolant Construct R ectified Network for Single Wire. Problem Formulation.

coy
Download Presentation

Multi-wires Removal and Rectification Using Interpolant

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. Multi-wires Removal and Rectification Using Interpolant Speaker: Guo-JhuHunag Advisor: Chun-Yao Wang 2009/11/20

  2. Outline • Problem Formulation • How Interpolant Construct Rectified Network for Single Wire

  3. Problem Formulation • Given a circuit, we want to remove many wires simultaneously and rectify the functionality.

  4. MA to Boolean manipulation wt wt s-a-1 fault The fault activation –fwt(X) is the set of minterms to cause the different value at f between good circuit and bad circuit The fault propagation –ODCwt(X) is the set of minterms to propagate the different value to PO

  5. MA to Boolean manipulation wt wt s-a-1 fault MA(wt) = –fwt(X)  –ODCwt(X)

  6. Rectified Network Using Two-way RAR method • Two-way(one-stage) RAR method • MA(wt) -> <g,v> • MA(gd) -> <g,-v>

  7. wt gt gd gs MA(wt)= -fgt(X)-ODCgt(X) MA(gd)= fgd(X)-ODCgd(X) = fgt(X)-ODCgt(X)

  8. Rectified Network Using Interpolant • Interpolant • MA(wt) -> <g,0> • MA(gd) -> <g,1> • -fgt(X)-ODCgt(X)  -g(X) • fgt(X)-ODCgt(X)  g(X) wt gt gd gs 

  9. Example wt a g1 gd b c g4 a g3 d -g1(X)  -ODCg1(X) = { a’b’cx, a’b’cd’} g1(X)  -ODCg1(X) = { axcd’, a’bcx, xbcd’ } -g1(X) = -(a+b) ={ a’b’xx } g1(X) = (a+b) = { axxx, xbxx } -ODCg1(X) = { a’xcx, xxcd’ }

  10. Example -g1(X)  -ODCg1(X) = { a’b’cx, a’b’cd’} -g(X) g1(X)  -ODCg1(X) = { axcd’, a’xcx, bxcd’ }  g(X) K-map of g(X)

  11. Example a b a g1 gd b c g4 a g3 d a+b

  12. IRRA Example a b a g1 gd b c g4 a g3 d

More Related