incremental invariant learning

Formal verification is a critical task in hardware design today. Yet, while there has been significant progress in improving technique …