Retiming, resynthesis, and partitioning for the pseudo-exhaustive testing of sequential circuits.

Samir Lejmi Bozena Kaminska Bechir Ayari

Published in: VTS (1995)

Keyphrases

real time
test data
digital circuits
partitioning algorithm
databases
real world
genetic algorithm
website
case study
model checking
software testing
sequential search