J. Kukula

发表

To split or to conjoin: the question in image computation

In-Ho Moon, Kavita Ravi, Fabio Somenzi, 2000, DAC.

Using Combinatorial Optimization Methods for Quantification Scheduling

Helmut Veith, Somesh Jha, Dong Wang, 2001, CHARME.

To split or to conjoin: the question in image computation

F. Somenzi, In-Ho Moon, J. Kukula, 2000, Proceedings 37th Design Automation Conference.

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

Jiang Long, Dong Wang, James H. Kukula, 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).

Symbolic RTL simulation

J. Kukula, R. Damiano, Alfred Kölbl, 2001, DAC '01.

Symbolic RTL simulation

R. Damiano, J. Kukula, R. Damiano, 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).

2 The MIT Vision Chip Project : Analog VLSI Systems for Fast Image Acquisition and Early Vision Processing Sponsors

Christopher B. Umminger, Filip Van Aelten, Donald, 2009 .

Bitwise encoding of finite state machines

José C. Monteiro, Srinivas Devadas, Horácio C. Neto, 1994, Proceedings of 7th International Conference on VLSI Design.

Simplifying Circuits for Formal Verification Using Parametric Representation

In-Ho Moon, Carl Pixley, Thomas R. Shiple, 2002, FMCAD.

Nonlinear quantification scheduling in image computation

Helmut Veith, Somesh Jha, Dong Wang, 2001, IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281).

Efficient control state-space search

Adnan Aziz, Thomas R. Shiple, James H. Kukula, 2001, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Smart simulation using collaborative formal and simulation engines

Jiang Long, Valeria Bertacco, Kevin Harer, 2000, IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140).

Building Circuits from Relations

Thomas R. Shiple, James H. Kukula, J. Kukula, 2000, CAV.

Least fixpoint approximations for reachability analysis

In-Ho Moon, Thomas R. Shiple, Fabio Somenzi, 1999, 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051).

Hybrid verification using saturated simulation

Adnan Aziz, Thomas R. Shiple, James H. Kukula, 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).

Generator-based verification

Yunshan Zhu, J. Kukula, 2003, ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486).

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

Helmut Veith, Dong Wang, Edmund M. Clarke, 2002, FMCAD.

Formal Methods for Functional Verification

Randal E. Bryant, James H. Kukula, R. Bryant, 2003 .

A Comparison of Presburger Engines for EFSM Reachability

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

SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques

Ofer Strichman, Edmund M. Clarke, James H. Kukula, 2002, CAV.

Guiding SAT Diagnosis with Tree Decompositions

Per Bjesse, James H. Kukula, Robert F. Damiano, 2003, SAT.

Checking satisfiability of a conjunction of BDDs

James H. Kukula, Robert F. Damiano, J. Kukula, 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

Techniques for Implicit State Enumeration of EFSMs

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

Object relocation in OX

J. H. Kukula, J. Kukula, 1988, Proceedings 1988 IEEE International Conference on Computer Design: VLSI.

Automatic generalized phase abstraction for formal verification

Per Bjesse, James H. Kukula, J. Kukula, 2005, ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005..