Shireesh Verma

11 papers A 1Journal 1Unranked 9

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