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

Suho Lee, Karem A. Sakallah

Browse the full CAV paper archive.