Fast RTL Fault Simulation Using Decision Diagrams and Bitwise Set Operations.

Uljana Reinsalu Jaan Raik Raimund Ubar Peeter Ellervee

Published in: DFT (2011)

Keyphrases

decision diagrams
multiple valued
markov decision processes
data structure
digital circuits
data mining
machine learning
graphical models