Saurav Gorai Saptarshi Biswas Lovleen Bhatia Praveen Tiwari Raj S. Mitra Directed-simulation assisted formal verification of serial protocol and bridge. 731-736 2006 conf/dac/2006 DAC http://doi.acm.org/10.1145/1146909.1147096 db/conf/dac/dac2006.html#GoraiBBTM06