Concepedia

James Kukula

JK

14

Publications

526

Citations

11

H-Index

1999

Active since

Affiliations

Synopsys (United States)(Current)

Synopsys (Switzerland)

University of Colorado Boulder

Technical University of Munich

Carnegie Mellon University

James Kukula is an author at Synopsys (United States) specializing in formal methods, verification, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationAutomated ReasoningComputer EngineeringProgram AnalysisSoftware AnalysisSystems Engineering

Publications per year

1999–2005

14

Publications

14

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

Engineering, Verification, Computer Architecture +26

To split or to conjoin

In-Ho Moon, James Kukula, Kavita Ravi et al. · 2000 · 76 citations · Full text

Machine Vision, Engineering, Reachability Problem +14

Formal property verification by abstraction refinement with formal, simulation and hybrid engines

Dong Wang, Pei-Hsin Jiang, James Kukula et al. · 2001 · 71 citations

Engineering, Verification, Software Engineering +19

Symbolic RTL simulation

Alferd Kölbl, James Kukula, Robert Damiano · 2001 · 51 citations

Engineering, Hardware Verification Language, Verification +23

Using counter example guided abstraction refinement to find complex bugs

Per Bjesse, James Kukula · Design, Automation, and Test in Europe · 2004 · 34 citations

Engineering, Verification, Computer-aided Verification +24

Rows per page

1–5 of 14