1 paper · 1 filter
Arman Ferdowsi, Laura Kovacs
Property-Directed Reachability (PDR/IC3) is widely used for hardware safety verification. Most implementations optimize time-to-answer, but certified workflows also require compact…