James H. Kukula

According to our database, James H. Kukula authored at least 26 papers between 1988 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Automatic generalized phase abstraction for formal verification.

Per Bjesse, James H. Kukula

Proceedings of the 2005 International Conference on Computer-Aided Design, 2005

2004

Using Counter Example Guided Abstraction Refinement to Find Complex Bugs.

Per Bjesse, James H. Kukula

Proceedings of the 2004 Design, 2004

2003

Guiding SAT Diagnosis with Tree Decompositions.

Per Bjesse, James H. Kukula, Robert F. Damiano, Ted Stanion, Yunshan Zhu

Proceedings of the Theory and Applications of Satisfiability Testing, 2003

Generator-based Verification.

Yunshan Zhu, James H. Kukula

Proceedings of the 2003 International Conference on Computer-Aided Design, 2003

Checking satisfiability of a conjunction of BDDs.

Robert F. Damiano, James H. Kukula

Proceedings of the 40th Design Automation Conference, 2003

2002

Combinational equivalence checking through function transformation.

Hee-Hwan Kwak, In-Ho Moon, James H. Kukula, Thomas R. Shiple

Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, 2002

Simplifying Circuits for Formal Verification Using Parametric Representation.

In-Ho Moon, Hee-Hwan Kwak, James H. Kukula, Thomas R. Shiple, Carl Pixley

Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis.

Pankaj Chauhan, Edmund M. Clarke, James H. Kukula, Samir Sapra, Helmut Veith, Dong Wang

Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

Handling special constructs in symbolic simulation.

Alfred Kölbl, James H. Kukula, Kurt Antreich, Robert F. Damiano

Proceedings of the 39th Design Automation Conference, 2002

SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques.

Edmund M. Clarke, Anubhav Gupta, James H. Kukula, Ofer Strichman

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

Efficient control state-space search.

Adnan Aziz, James H. Kukula, Thomas R. Shiple, Jun Yuan

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

Non-linear Quantification Scheduling in Image Computation.

Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Thomas R. Shiple, Helmut Veith, Dong Wang

Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001

Using cutwidth to improve symbolic simulation and Boolean satisfiability.

Dong Wang, Edmund M. Clarke, Yunshan Zhu, James H. Kukula

Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001

Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines.

Dong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukula, Yunshan Zhu, Hi-Keung Tony Ma, Robert F. Damiano

Proceedings of the 38th Design Automation Conference, 2001

Symbolic RTL Simulation.

Alfred Kölbl, James H. Kukula, Robert F. Damiano

Proceedings of the 38th Design Automation Conference, 2001

Using Combinatorial Optimization Methods for Quantification Scheduling.

Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Helmut Veith, Dong Wang

Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000

Smart Simulation Using Collaborative Formal and Simulation Engines.

Pei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James H. Kukula, Robert F. Damiano, Valeria Bertacco, Jerry Taylor, Jiang Long

Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000

To split or to conjoin: the question in image computation.

In-Ho Moon, James H. Kukula, Kavita Ravi, Fabio Somenzi

Proceedings of the 37th Conference on Design Automation, 2000

Building Circuits from Relations.

James H. Kukula, Thomas R. Shiple

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Least fixpoint approximations for reachability analysis.

In-Ho Moon, James H. Kukula, Thomas R. Shiple, Fabio Somenzi

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

1998

Techniques for Implicit State Enumeration of EFSMs.

James H. Kukula, Thomas R. Shiple, Adnan Aziz

Proceedings of the Formal Methods in Computer-Aided Design, 1998

Hybrid Verification Using Saturated Simulation.

Adnan Aziz, James H. Kukula, Thomas R. Shiple

Proceedings of the 35th Conference on Design Automation, 1998

A Comparison of Presburger Engines for EFSM Reachability.

Thomas R. Shiple, James H. Kukula, Rajeev K. Ranjan

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1994

Bitwise Encoding of Finite State Machines.

José Monteiro, James H. Kukula, Srinivas Devadas, Horácio C. Neto

Proceedings of the Seventh International Conference on VLSI Design, 1994

1991

Finite State Machine Decomposition by Transition Pairing.

James H. Kukula, Srinivas Devadas

Proceedings of the 1991 IEEE/ACM International Conference on Computer-Aided Design, 1991

1988

Object relocation in OX.

James H. Kukula

Proceedings of the Computer Design: VLSI in Computers and Processors, 1988