Formal Bug Hunting: An Immensely Powerful Merger of Simulation and Formal Verification Methodologies

Traditional simulation-based hardware verification methods suffer from missing completeness, whereas formal verification tools are computationally expensive, resulting in missing verification convergence, a must-have criteria for sign-off. In the last few years, many techniques were developed which incorporated learnings from both the simulation and formal methodologies. This paper discusses several such “bug-hunting” strategies, along with their possible implementation details and challenges. Citation: Joydeep Bhattacharyya. "Formal Bug Hunting: An Immensely Powerful Merger of Simulation and Formal Verification Methodologies." Global Research and Development Journal For Engineering 6.1 (2020): 1 - 3.