Concepedia

Kevin Harer

KH

3

Publications

154

Citations

3

H-Index

2000

Active since

Affiliations

Synopsys (Switzerland)(Current)

Synopsys (United States)

Kevin Harer is an author at Synopsys (Switzerland) specializing in computer engineering, engineering, and formal methods.

Top concepts

Publications per year

2000–2013

3

Publications

3

Smart simulation using collaborative formal and simulation engines

Pei Hsin Ho, Thomas R. Shiple, Kevin Harer et al. · International Conference on Computer Aided Design · 2000 · 125 citations

, , +26

A robust solution to the timing convergence problem in high-performance design

Narendra Shenoy, Mahesh A. Iyer, Robert Damiano et al. · 2003 · 16 citations

, , +21

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

Aritra Hazra, Rajdeep Mukherjee, Pallab Dasgupta et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2013 · 13 citations

, , +21

Rows per page

1–3 of 3