Professional Documents
Culture Documents
Sequential ATPG
Sequential ATPG
Sequential ATPG
Time-frame expansion
CLOCK
Memory block
Combinatory block
Pseudo
POs
POs
Pseudo
PIs
PIs
Implementation (1)
s- k
input, binary
state vector, nine-valued logic
g
Pseudo
memory
s- k+1
C
timeframe -1
s- 1
v- 1
s0
M
s0
timeframe 0
Fault-detection
timeframe
v0
Temporal copies of the combinational part are linked with pseudocombinational memory elements
Each temporal copy belongs to a unique timeframe
vk
sk
timeframe -k
v- k
Implementation (2)
s- k
Pseudo
memory
s- k+1
M
timeframe -1
s- 1
v- 1
s0
M
s0
timeframe 0
v0
timeframe -k
v- k
Implementation (3)
References