2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.LO2026
Certified Sequential Sweep Without Unrolling
Tobias Seufert, Christoph Scholl
Verifying retiming followed by additional sequential resynthesis steps remains challenging for existing tools, limiting aggressive optimizations. Commonly-used equivalence checking…
cs.LO2021★ 2 cited
Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR
Tobias Seufert, Felix Winterer, Christoph Scholl +3
In this paper we revisit the topic of generalizing proof obligations in bit-level Property Directed Reachability (PDR). We provide a comprehensive study which (1) determines the co…