Formal property verification by abstraction refinement with formal, simulation and hybrid engines
Dong Wang, Pei-Hsin Jiang, James H. Kukula, Yunshan Zhu, Tony Ma, Robert F. Damiano · 2001
We present RFN, a formal property verification tool based on abstraction refinement. Abstraction refinement is a strategy for property verification. It iteratively refines an abstract model to better approximate the behavior of the original design in the hope that the abstract model alone will provide enough evidence to prove or disprove the property.