MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "James H. Kukula" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Implicit State Enumeration for FSMs with Datapaths
by James H. Kukula, Thomas R. Shiple, Adnan Aziz — 1998 — In Proceedings of Formal Methods in ComputerAided Design
…Implicit State Enumeration for FSMs with Datapaths James H. Kukula Synopsys, Inc., Beaverton…
Cited by 2 (0 self) – Add To MetaCart

To Split or to Conjoin: The Question in Image Computation
by In-Ho Moon, James H. Kukula, Kavita Ravi, Fabio Somenzi — 2000 — DAC 2000
… of Colorado Boulder, CO mooni@(email omitted); James H. Kukula Synopsys Beaverton, OR kukula@(email omitted); Image…
Cited by 21 (9 self) – Add To MetaCart

Combinational Equivalence Checking through Function Transformation
by Hee Hwan Kwak, In-Ho Moon, James H. Kukula, Thomas R. Shiple — 2002 — In Proceedings of the International Conference on Computer-Aided Design (To appear
… H. Kukula, and Thomas R. Shiple Synopsys, Inc. USA. fhkwak,mooni,kukula…
Cited by 3 (1 self) – Add To MetaCart

A Comparison of Presburger Engines for EFSM Reachability
by Thomas R. Shiple, James H. Kukula, Rajeev K. Ranjan — 1998
…A Comparison of Presburger Engines for EFSM Reachability Thomas R. Shiple 1 James H. Kukula 2…
Cited by 26 (0 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB