Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines.

Dong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukula, Yunshan Zhu, Hi-Keung Tony Ma, Robert F. Damiano

Browse the full DAC paper archive.