From the 1 of 1 linked paper with an AI index.
1 paper
Tobias Seufert, Christoph Scholl
The paper proposes an IC3-based verification technique that uses retiming and simulation‑generated invariants to certify sequential equivalence of circuits after aggressive resynth…