Praveen Tiwari (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 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 Praveen Tiwari, Saptarshi Biswas, Raj S. Mitra: Apriori Formal Coverage Analysis for Protocol Properties. VLSI Design 2006: 231-236

Selection of 2 from 6 records - Praveen Tiwari has 10 coauthors

2		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		Praveen Tiwari, Saptarshi Biswas, Raj S. Mitra: Apriori Formal Coverage Analysis for Protocol Properties. VLSI Design 2006: 231-236