C. A. J. van Eijk

Publication Activity (10 Years)

Years Active: 1994-2001
Publications (10 Years): 0

Publications

Qin Zhao, Twan Basten, Bart Mesman, C. A. J. van Eijk, Jochen A. G. Jess
Static resource models of instruction sets. ISSS (2001)
Luiz C. V. dos Santos, Marc J. M. Heijligers, C. A. J. van Eijk, J. Van Eijnhoven, Jochen A. G. Jess
A code-motion pruning technique for global scheduling. ACM Trans. Design Autom. Electr. Syst. 5 (1) (2000)
Qin Zhao, C. A. J. van Eijk, Carlos A. Alba Pinto, Jochen A. G. Jess
Register Binding for Predicated Execution in DSP Applications. SBCCI (2000)
C. A. J. van Eijk
Sequential equivalence checking based on structural similarities. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19 (7) (2000)
C. A. J. van Eijk, E. T. A. F. Jacobs, Bart Mesman, Adwin H. Timmer
Identification and Exploitation of Symmetries in DSP Algorithms. DATE (1999)
C. A. J. van Eijk
Sequential Equivalence Checking without State Space Traversal. DATE (1998)
R. X. T. Nijssen, C. A. J. van Eijk
GreyHound: A methodology for utilizing datapath regularity in standard design flows. Integr. 25 (2) (1998)
J. W. J. M. Rutten, Michel R. C. M. Berkelaar, C. A. J. van Eijk, M. A. J. Kolsteren
An Efficient Divide and Conquer Algorithm for Exact Hazard Free Logic Minimization. DATE (1998)
C. A. J. van Eijk
A BDD-based verification method for large synthesized circuits. Integr. 23 (2) (1997)
R. X. T. Nijssen, C. A. J. van Eijk
Regular layout generation of logically optimized datapaths. ISPD (1997)
C. A. J. van Eijk, Jochen A. G. Jess
Exploiting Functional Dependencies in Finite State Machine Verification. ED&TC (1996)
Harm Arts, Michel R. C. M. Berkelaar, C. A. J. van Eijk
Polarized observability don't cares. ICCAD (1996)
Luiz C. V. dos Santos, Marc J. M. Heijligers, C. A. J. van Eijk, Jos T. J. van Eijndhoven, Jochen A. G. Jess
A Constructive Method for Exploiting Code Motion. ISSS (1996)
J. W. G. Fleurkens, C. A. J. van Eijk, Jochen A. G. Jess
Run-time consistency checking in discrete simulation models. ED&TC (1995)
C. A. J. van Eijk, Geert Janssen
Exploiting Structural Similarities in a BDD-Based Verification Method. TPCD (1994)