| 2006 | ||
|---|---|---|
| 1 | Saurav Gorai, Saptarshi Biswas, Lovleen Bhatia, Praveen Tiwari, Raj S. Mitra: Directed-simulation assisted formal verification of serial protocol and bridge. DAC 2006: 731-736 | |
| 1 | Lovleen Bhatia | [1] |
| 2 | Saptarshi Biswas | [1] |
| 3 | Raj S. Mitra | [1] |
| 4 | Praveen Tiwari | [1] |