Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration
Rohit Dureja, Jason Baumgartner, Robert Kanzelman, Mark Williams and Kristin Yvonne RozierSLIDES
FMCAD 2020: FORMAL METHODS IN COMPUTER AIDED DESIGN