James H. Kukula

26 papers A* 9A 9B 3C 1Misc 1Journal 1Unranked 2
YearRankTypeTitle / Venue / Authors
2005 A conf
Automatic generalized phase abstraction for formal verification.
ICCAD
Per Bjesse, James H. Kukula
2004 A conf
Using Counter Example Guided Abstraction Refinement to Find Complex Bugs.
DATE
Per Bjesse, James H. Kukula
2003 A* conf
Checking satisfiability of a conjunction of BDDs.
DAC
Robert F. Damiano, James H. Kukula
2003 A conf
Generator-based Verification.
ICCAD
Yunshan Zhu, James H. Kukula
2003 A conf
Guiding SAT Diagnosis with Tree Decompositions.
SAT
Per Bjesse, James H. Kukula, Robert F. Damiano, Ted Stanion, Yunshan Zhu
2002 B conf
Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis.
FMCAD
Pankaj Chauhan, Edmund M. Clarke, James H. Kukula, Samir Sapra, Helmut Veith, Dong Wang
2002 A conf
Combinational equivalence checking through function transformation.
ICCAD
Hee-Hwan Kwak, In-Ho Moon, James H. Kukula, Thomas R. Shiple
2002 A* conf
Handling special constructs in symbolic simulation.
DAC
Alfred Kölbl, James H. Kukula, Kurt Antreich, Robert F. Damiano
2002 A* conf
SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques.
CAV
Edmund M. Clarke, Anubhav Gupta, James H. Kukula, Ofer Strichman
2002 B conf
Simplifying Circuits for Formal Verification Using Parametric Representation.
FMCAD
In-Ho Moon, Hee-Hwan Kwak, James H. Kukula, Thomas R. Shiple, Carl Pixley
2001 J jnl
Efficient control state-space search.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Adnan Aziz, James H. Kukula, Thomas R. Shiple, Jun Yuan
2001 A* conf
Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines.
DAC
Dong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukula, Yunshan Zhu, Hi-Keung Tony Ma, Robert F. Damiano
2001 A conf
Non-linear Quantification Scheduling in Image Computation.
ICCAD
Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Thomas R. Shiple, Helmut Veith, Dong Wang
2001 A* conf
Symbolic RTL Simulation.
DAC
Alfred Kölbl, James H. Kukula, Robert F. Damiano
2001 — conf
Using Combinatorial Optimization Methods for Quantification Scheduling.
CHARME
Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Helmut Veith, Dong Wang
2001 — conf
Using cutwidth to improve symbolic simulation and Boolean satisfiability.
HLDVT
Dong Wang, Edmund M. Clarke, Yunshan Zhu, James H. Kukula
2000 A* conf
Building Circuits from Relations.
CAV
James H. Kukula, Thomas R. Shiple
2000 A conf
Smart Simulation Using Collaborative Formal and Simulation Engines.
ICCAD
Pei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James H. Kukula, Robert F. Damiano, Valeria Bertacco, Jerry Taylor, Jiang Long
2000 A* conf
To split or to conjoin: the question in image computation.
DAC
In-Ho Moon, James H. Kukula, Kavita Ravi, Fabio Somenzi
1999 A conf
Least fixpoint approximations for reachability analysis.
ICCAD
In-Ho Moon, James H. Kukula, Thomas R. Shiple, Fabio Somenzi
1998 A* conf
A Comparison of Presburger Engines for EFSM Reachability.
CAV
Thomas R. Shiple, James H. Kukula, Rajeev K. Ranjan
1998 A* conf
Hybrid Verification Using Saturated Simulation.
DAC
Adnan Aziz, James H. Kukula, Thomas R. Shiple
1998 B conf
Techniques for Implicit State Enumeration of EFSMs.
FMCAD
James H. Kukula, Thomas R. Shiple, Adnan Aziz
1994 Misc conf
Bitwise Encoding of Finite State Machines.
VLSI Design
José Monteiro, James H. Kukula, Srinivas Devadas, Horácio C. Neto
1991 A conf
Finite State Machine Decomposition by Transition Pairing.
ICCAD
James H. Kukula, Srinivas Devadas
1988 C conf
Object relocation in OX.
ICCD
James H. Kukula