Shireesh Verma

Publication Activity (10 Years)

Years Active: 2005-2011
Publications (10 Years): 0

Publications

Bhanu Kapoor, Shireesh Verma
Power Management Design and Verification. J. Low Power Electron. 7 (1) (2011)
Shireesh Verma
Low Power Design and Verification Techniques. J. Low Power Electron. 7 (1) (2011)
Bhanu Kapoor, Shankar Hemmady, Shireesh Verma, Kaushik Roy, Manuel A. d'Abreu
Impact of SoC power management techniques on verification and testing. ISQED (2009)
Bhanu Kapoor, John Goodenough, Shankar Hemmady, Shireesh Verma, Manuel A. d'Abreu, Kaushik Roy
Panel: SoC power management implications on validation and testing. HLDVT (2008)
Bhanu Kapoor, J. Marc Edwards, Shankar Hemmady, Shireesh Verma, Kaushik Roy
Tutorial: SoC Power Management Verification and Testing Issues. MTV (2008)
Shireesh Verma, Srinath Atluri, Valeria Bertacco, Mark Glasser, Badri Gopalan, Sharon Rosenberg
Panel: Software practices for verification/testbench management. HLDVT (2008)
Kiran Ramineni, Shireesh Verma, Ian G. Harris
Evaluation of an efficient control-oriented coverage metric. HLDVT (2008)
Shireesh Verma, Ian G. Harris, Kiran Ramineni
Automatic generation of functional coverage models from CTL. HLDVT (2007)
Kiran Ramineni, Ian G. Harris, Shireesh Verma
Improving feasible interactions among multiple processes. HLDVT (2007)
Shireesh Verma, Ian G. Harris, Kiran Ramineni
Interactive presentation: Automatic generation of functional coverage models from behavioral verilog descriptions. DATE (2007)
Shireesh Verma, Patricia S. Lee, Ian G. Harris
Error Detection Using Model Checking vs. Simulation. HLDVT (2006)
Shireesh Verma, Kiran Ramineni, Ian G. Harris
An efficient control-oriented coverage metric. ASP-DAC (2005)