HDL Program Slicing to Reduce Bounded Model Checking Search Overhead.

Jen-Chieh Ou Daniel G. Saab Jacob A. Abraham

Published in: ITC (2006)

Keyphrases

bounded model checking
program slicing
formal verification
search algorithm
search space
search strategy
search methods
reinforcement learning
heuristic search