AutoPDR: Circuit-Aware Solver Configuration Prediction for Hardware Model Checking

Guangyu Hu, Chen Chen, Xiaofeng Zhou +3

Property Directed Reachability (PDR) is a powerful algorithm for formal verification of hardware and software systems, but its performance is highly sensitive to parameter configur…