LFPS: Learned Formal Proof Strengthening for Efficient Hardware Verification.

Minwoo Kang, Azade Nova, Eshan Singh, Geetheeka Sharron Bathini, Yuriy Viktorov

Browse the full ICCAD paper archive.