Directed-simulation assisted formal verification of serial protocol and bridge.

Saurav Gorai, Saptarshi Biswas, Lovleen Bhatia, Praveen Tiwari, Raj S. Mitra

Browse the full DAC paper archive.