Testable design verification using Petri nets | IEEE Conference Publication | IEEE Xplore

Testable design verification using Petri nets


Abstract:

In the paper, a method for formal verification of testable design is presented. As a input, a digital circuit structure at RT level designed using any DfT technique is as...Show More

Abstract:

In the paper, a method for formal verification of testable design is presented. As a input, a digital circuit structure at RT level designed using any DfT technique is assumed. Proposed method enables to verify testability of each element or a part of the circuit. Petri Net based model and common methods of Petri Net analysis are utilized. On the model, it is possible to prove, if a circuit element or a part of the circuit under test can be tested by a selected way - if paths, chosen for diagnostic data transport, are passable or not and if not, for what reason.
Date of Conference: 01-06 September 2003
Date Added to IEEE Xplore: 15 September 2003
Print ISBN:0-7695-2003-0
Conference Location: Belek-Antalya, Turkey

References

References is not available for this document.