Unbounded Scalable Verification Based on Approximate Property-Directed Reachability and Datapath Abstraction.

Suho Lee Karem A. Sakallah

Published in: CAV (2014)

Keyphrases

hardware designs
bounded model checking
model checking
high level
state space
formal verification
machine learning
decision trees
lightweight
desirable properties
highly scalable
web scale
data abstraction
piecewise linear
exact solution