Login / Signup
Saurav Gorai
Publication Activity (10 Years)
Years Active: 2006-2006
Publications (10 Years): 0
</>
Publications
</>
Saurav Gorai
,
Saptarshi Biswas
,
Lovleen Bhatia
,
Praveen Tiwari
,
Raj S. Mitra
Directed-simulation assisted formal verification of serial protocol and bridge.
DAC
(2006)