Kevin Harer

According to our database, Kevin Harer authored at least 7 papers between 1999 and 2013.

Collaborative distances:

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

2013

POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent.

Aritra Hazra, Rajdeep Mukherjee, Pallab Dasgupta, Ajit Pal, Kevin Harer, Ansuman Banerjee, Subhankar Mukherjee

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013

Abstraction-Based Livelock/Deadlock Checking for Hardware Verification.

In-Ho Moon, Kevin Harer

Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems, 2013

2012

Formal methods for coverage analysis of architectural power states in power-managed designs.

Aritra Hazra, Pallab Dasgupta, Ansuman Banerjee, Kevin Harer

Proceedings of the 17th Asia and South Pacific Design Automation Conference, 2012

2010

Learning from Constraints for Formal Property Checking.

In-Ho Moon, Kevin Harer

J. Electron. Test., 2010

2005

Supporting sequential assumptions in hybrid verification.

Eduard Cerny, Ashvin Dsouza, Kevin Harer, Pei-Hsin Ho, Hi-Keung Tony Ma

Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

2000

Smart Simulation Using Collaborative Formal and Simulation Engines.

Pei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James H. Kukula, Robert F. Damiano, Valeria Bertacco, Jerry Taylor, Jiang Long

Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000

1999

A Robust Solution to the Timing Convergence Problem in High-Performance Design.

Narendra V. Shenoy, Mahesh A. Iyer, Robert F. Damiano, Kevin Harer, Hi-Keung Tony Ma, Paul Thilking

Proceedings of the IEEE International Conference On Computer Design, 1999