This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Hybrid Verification of Protocol Bridges
March-April 2007 (vol. 24 no. 2)
pp. 124-131
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.
Index Terms:
formal verification, model checking, serial protocol, hybrid verification, protocol bridge
Citation:
Praveen Tiwari, Raj S. Mitra, "Hybrid Verification of Protocol Bridges," IEEE Design & Test of Computers, vol. 24, no. 2, pp. 124-131, March-April 2007, doi:10.1109/MDT.2007.47
Usage of this product signifies your acceptance of the Terms of Use.