Efficient implementation of property directed reachability.

Niklas Eén Alan Mishchenko Robert K. Brayton

Published in: FMCAD (2011)

Keyphrases

efficient implementation
hardware implementation
highly parallel
active set
efficient processing
semi supervised
data sets
genetic algorithm
transitive closure