| 2006 |
|---|
| 3 | EE | 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 |
| 2 | EE | Praveen Tiwari,
Saptarshi Biswas,
Raj S. Mitra:
Apriori Formal Coverage Analysis for Protocol Properties.
VLSI Design 2006: 231-236 |
| 2004 |
|---|
| 1 | EE | Arijit Mukhopadhyay,
Saptarshi Biswas,
Pratik Worah,
Ramasish Das,
Susmit Biswas,
Anupam Basu:
Katha-Mala: A Voice Output Communication Aid for the Children with Severe Speech and Multiple Disorders (SSMI).
VLSI Design 2004: 951- |
