Journal article
Functional Broadside Tests Under an Expanded Definition of Functional Operation Conditions
IEEE transactions on computer-aided design of integrated circuits and systems, Vol.28(1), pp.121-129
01/2009
DOI: 10.1109/TCAD.2008.2009152
Abstract
The functional operation of a synchronous sequential circuit is defined to start after the circuit is initialized to a known state, typically by a synchronizing sequence. The states that the circuit can visit after it is synchronized are called reachable states, and functional operation consists of state transitions between reachable states. We expand the definition of functional operation to include all the state transitions that may be traversed during the application of the synchronizing sequence. This adds certain state transitions that involve unreachable states to the definition of functional operation. Expanding the definition of functional operation is justified by the fact that the circuit needs to be designed for correct operation during the synchronization process. It is advantageous when functional broadside tests are used to avoid overtesting. We study the effect of the expanded definition on the coverage of transition faults. © 2009 IEEE.
Details
- Title: Subtitle
- Functional Broadside Tests Under an Expanded Definition of Functional Operation Conditions
- Creators
- Irith Pomeranz - Purdue University West LafayetteSudhakar M Reddy - University of Iowa
- Resource Type
- Journal article
- Publication Details
- IEEE transactions on computer-aided design of integrated circuits and systems, Vol.28(1), pp.121-129
- DOI
- 10.1109/TCAD.2008.2009152
- ISSN
- 0278-0070
- eISSN
- 1937-4151
- Language
- English
- Date published
- 01/2009
- Academic Unit
- Electrical and Computer Engineering
- Record Identifier
- 9984197430802771
Metrics
18 Record Views