Kevin Harer

Publication Activity (10 Years)

Years Active: 1999-2013
Publications (10 Years): 0

Top Topics

Hardware Designs

Computational Power

Formal Verification

Software Implementation

Top Venues

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

Publications

In-Ho Moon, Kevin Harer
Abstraction-Based Livelock/Deadlock Checking for Hardware Verification. DIFTS@FMCAD (2013)
Aritra Hazra, Rajdeep Mukherjee, Pallab Dasgupta, Ajit Pal, Kevin Harer, Ansuman Banerjee, Subhankar Mukherjee
POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32 (11) (2013)
Aritra Hazra, Pallab Dasgupta, Ansuman Banerjee, Kevin Harer
Formal methods for coverage analysis of architectural power states in power-managed designs. ASP-DAC (2012)
In-Ho Moon, Kevin Harer
Learning from Constraints for Formal Property Checking. J. Electron. Test. 26 (2) (2010)
In-Ho Moon, Kevin Harer
Learning from constraints for formal property checking. HLDVT (2009)
Eduard Cerny, Ashvin Dsouza, Kevin Harer, Pei-Hsin Ho, Hi-Keung Tony Ma
Supporting sequential assumptions in hybrid verification. ASP-DAC (2005)
Pei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James H. Kukula, Robert F. Damiano, Valeria Bertacco, Jerry Taylor, Jiang Long
Smart Simulation Using Collaborative Formal and Simulation Engines. ICCAD (2000)
Narendra V. Shenoy, Mahesh A. Iyer, Robert F. Damiano, Kevin Harer, Hi-Keung Tony Ma, Paul Thilking
A Robust Solution to the Timing Convergence Problem in High-Performance Design. ICCD (1999)