Sankar Gurumurthy

According to our database, Sankar Gurumurthy authored at least 9 papers between 2002 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2014

Comparing the effectiveness of cache-resident tests against cycleaccurate deterministic functional patterns.

Sankar Gurumurthy, Mustansir Pratapgarhwala, Curtis Gilgan, Jeff Rearick

Proceedings of the 2014 International Test Conference, 2014

2009

Cache-resident self-testing for I/O circuitry.

Sankar Gurumurthy, D. Bertanzetti, P. Jakobsen, Jeff Rearick

Proceedings of the 2009 IEEE International Test Conference, 2009

Functionally valid gate-level peak power estimation for processors.

Sriram Sambamurthy, Sankar Gurumurthy, Ramtilak Vemu, Jacob A. Abraham

Proceedings of the 10th International Symposium on Quality of Electronic Design (ISQED 2009), 2009

2008

On efficient generation of instruction sequences to test for delay defects in a processor.

Sankar Gurumurthy, Ramtilak Vemu, Jacob A. Abraham, Suriyaprakash Natarajan

Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, 2008

2007

ACCE: Automatic correction of control-flow errors.

Ramtilak Vemu, Sankar Gurumurthy, Jacob A. Abraham

Proceedings of the 2007 IEEE International Test Conference, 2007

Automatic Generation of Instructions to Robustly Test Delay Defects in Processors.

Sankar Gurumurthy, Ramtilak Vemu, Jacob A. Abraham, Daniel G. Saab

Proceedings of the 12th European Test Symposium, 2007

2006

Automatic generation of instruction sequences targeting hard-to-detect structural faults in a processor.

Sankar Gurumurthy, Shobha Vasudevan, Jacob A. Abraham

Proceedings of the 2006 IEEE International Test Conference, 2006

2003

On Complementing Nondeterministic Büchi Automata.

Sankar Gurumurthy, Orna Kupferman, Fabio Somenzi, Moshe Y. Vardi

Proceedings of the Correct Hardware Design and Verification Methods, 2003

2002

Fair Simulation Minimization.

Sankar Gurumurthy, Roderick Bloem, Fabio Somenzi

Proceedings of the Computer Aided Verification, 14th International Conference, 2002