Kevin Harer - Concepedia

Author

Kevin Harer

Also Known As

K. Harer, Kevin Harer, Kevin M. Harer

Publications

163

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	154
2	Computer Engineering	3	3	154
3	Systems Engineering	3	3	154
4	Computer Science	2	2	138
5	Computer Architecture	2	2	141

Kevin Harer

Publications

154

Citations

H-Index

Page 1

	Year	Citations
Smart simulation using collaborative formal and simulation engines Pei Hsin Ho, Thomas R. Shiple, Kevin Harer, International Conference on Computer Aided Design EngineeringVerificationComputer ArchitectureSmart SimulationSoftware Engineering	2000	125
A robust solution to the timing convergence problem in high-performance design Narendra Shenoy, Mahesh A. Iyer, Robert Damiano, EngineeringAccelerated DesignElectronic Design AutomationElectronic DesignComputer Architecture	2003	16
POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent Aritra Hazra, Rajdeep Mukherjee, Pallab Dasgupta, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems EngineeringPower Intent ValidationElectronic Design AutomationPower Optimization (Eda)Verification	2013	13

Page 1