Polynomial Formal Verification: Ensuring Correctness under Resource Constraints.

Rolf Drechsler, Alireza Mahzoon

Browse the full ICCAD paper archive.