Login / Signup
Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration.
Rohit Dureja
Jason Baumgartner
Robert Kanzelman
Mark Williams
Kristin Y. Rozier
Published in:
FMCAD (2020)
Keyphrases
</>
search strategies
exploration strategy
desirable properties
distributed memory machines
real time
data sets
real world
parallel processing
data partitioning
knowledge base
parallel implementation
graph partitioning
formal methods
load balance