C. A. J. van Eijk

According to our database, C. A. J. van Eijk authored at least 15 papers between 1994 and 2001.

Collaborative distances:

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

2001

Static resource models of instruction sets.

Qin Zhao, Twan Basten, Bart Mesman, C. A. J. van Eijk, Jochen A. G. Jess

Proceedings of the 14th International Symposium on Systems Synthesis, 2001

2000

A code-motion pruning technique for global scheduling.

Luiz C. V. dos Santos, Marc J. M. Heijligers, C. A. J. van Eijk, J. Van Eijnhoven, Jochen A. G. Jess

ACM Trans. Design Autom. Electr. Syst., 2000

Sequential equivalence checking based on structural similarities.

C. A. J. van Eijk

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

Register Binding for Predicated Execution in DSP Applications.

Qin Zhao, C. A. J. van Eijk, Carlos A. Alba Pinto, Jochen A. G. Jess

Proceedings of the 13th Annual Symposium on Integrated Circuits and Systems Design, 2000

1999

Identification and Exploitation of Symmetries in DSP Algorithms.

C. A. J. van Eijk, E. T. A. F. Jacobs, Bart Mesman, Adwin H. Timmer

Proceedings of the 1999 Design, 1999

1998

GreyHound: A methodology for utilizing datapath regularity in standard design flows.

R. X. T. Nijssen, C. A. J. van Eijk

Integr., 1998

An Efficient Divide and Conquer Algorithm for Exact Hazard Free Logic Minimization.

J. W. J. M. Rutten, Michel R. C. M. Berkelaar, C. A. J. van Eijk, M. A. J. Kolsteren

Proceedings of the 1998 Design, 1998

Sequential Equivalence Checking without State Space Traversal.

C. A. J. van Eijk

Proceedings of the 1998 Design, 1998

1997

A BDD-based verification method for large synthesized circuits.

C. A. J. van Eijk

Integr., 1997

Regular layout generation of logically optimized datapaths.

R. X. T. Nijssen, C. A. J. van Eijk

Proceedings of the 1997 International Symposium on Physical Design, 1997

1996

A Constructive Method for Exploiting Code Motion.

Luiz C. V. dos Santos, Marc J. M. Heijligers, C. A. J. van Eijk, Jos T. J. van Eijndhoven, Jochen A. G. Jess

Proceedings of the 9th International Symposium on System Synthesis, 1996

Polarized observability don't cares.

Harm Arts, Michel R. C. M. Berkelaar, C. A. J. van Eijk

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

Exploiting Functional Dependencies in Finite State Machine Verification.

C. A. J. van Eijk, Jochen A. G. Jess

Proceedings of the 1996 European Design and Test Conference, 1996

1995

Run-time consistency checking in discrete simulation models.

J. W. G. Fleurkens, C. A. J. van Eijk, Jochen A. G. Jess

Proceedings of the 1995 European Design and Test Conference, 1995

1994

Exploiting Structural Similarities in a BDD-Based Verification Method.

C. A. J. van Eijk, Geert Janssen

Proceedings of the Theorem Provers in Circuit Design, 1994