Directed-simulation assisted formal verification of serial protocol and bridge. - Saurav Gorai; Saptarshi Biswas; Lovleen Bhatia; Praveen Tiwari; Raj S. Mitra (DAC, 2006)