Testing combinational iterative logic arrays for realistic faults.

Dimitris Gizopoulos Dimitris Nikolos Antonis M. Paschalis

Published in: VTS (1995)

Keyphrases

test cases
asynchronous circuits
fault model
built in self test
logic circuits
software testing
modal logic
fault detection
real life
defeasible logic
predicate logic
logic programming
model based diagnosis
fault diagnosis
real time
classical logic
iterative process
proof theory
iterative methods
real world