Home > Community > Forums > Hardware/Software Co-Development, Verification and Integration > Finding all test vectors for a single stuck-at fault

Email

* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

 Finding all test vectors for a single stuck-at fault 

Last post Mon, Oct 15 2012 10:00 PM by Ankur S. 0 replies.
Started by Ankur S 15 Oct 2012 10:00 PM. Topic has 0 replies and 1032 views
Page 1 of 1 (1 items)
Sort Posts:
  • Mon, Oct 15 2012 10:00 PM

    • Ankur S
    • Not Ranked
    • Joined on Sat, Oct 13 2012
    • Posts 2
    • Points 10
    Finding all test vectors for a single stuck-at fault Reply

    Hi,

    How can we find all test vectors for a given stuck-at faults? One way is ofcourse, exhaustive verilog simulation wih all possible input vectors. But that quickly becomes impracticalas the number of input pins increase. I want to find all the test vectors corresponding to a stuck-at fault in a 32-bit adder, say for example. Reason is that if I know all test vectors, I can perform boolean minimization and come up with a boolean formula in SOP form. That formula would then model the stuck-at fault. I need not run verilog again and again - just checking if a given input vector satisfies the formula, would do the job. PODEM based tools generate one or a set of test vectors that detect a set if faults. So they won't help. Any siggestion?

     Thanks

    Ankur

    • Post Points: 5
Page 1 of 1 (1 items)
Sort Posts:
Started by Ankur S at 15 Oct 2012 10:00 PM. Topic has 0 replies.