Issue No. 02 - March-April (2007 vol. 24)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MDT.2007.47
Praveen Tiwari , Texas Instruments
Raj S. Mitra , Texas Instruments
It is becoming increasingly more evident that simulation cannot provide full verification for today's complex designs. Formal verification is emerging as an alternative technique to simulation that promises to guarantee complete verification. However, because of its inability to handle all classes and sizes of designs, this technology is also incomplete. The solution is to combine the two complementary techniques, using their respective strengths. The authors of this article have developed such a technique for hybrid verification. They illustrate its application through two case studies in protocol bridge verification. In both designs, the hybrid technique was able to discover bugs that simulation and formal verification had failed to find individually.
formal verification, model checking, serial protocol, hybrid verification, protocol bridge
R. S. Mitra and P. Tiwari, "Hybrid Verification of Protocol Bridges," in IEEE Design & Test of Computers, vol. 24, no. , pp. 124-131, 2007.