Exploiting Structural Similarities in a BDD-Based Verification Method. - C. A. J. van Eijk; Geert Janssen (TPCD, 1994)

Run-time consistency checking in discrete simulation models. - J. W. G. Fleurkens; C. A. J. van Eijk; Jochen A. G. Jess (ED&TC, 1995)

Exploiting Functional Dependencies in Finite State Machine Verification. - C. A. J. van Eijk; Jochen A. G. Jess (ED&TC, 1996)

Polarized observability don't cares. - Harm Arts; Michel R. C. M. Berkelaar; C. A. J. van Eijk (ICCAD, 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 (ISSS, 1996)

Regular layout generation of logically optimized datapaths. - Raymond X. T. Nijssen; C. A. J. van Eijk (ISPD, 1997)

A BDD-based verification method for large synthesized circuits. - C. A. J. van Eijk (Integr., 1997)

Sequential Equivalence Checking without State Space Traversal. - C. A. J. van Eijk (DATE, 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 (DATE, 1998)

GreyHound: A methodology for utilizing datapath regularity in standard design flows. - Raymond X. T. Nijssen; C. A. J. van Eijk (Integr., 1998)

Identification and Exploitation of Symmetries in DSP Algorithms. - C. A. J. van Eijk; E. T. A. F. Jacobs; Bart Mesman; Adwin H. Timmer (DATE, 1999)

Register Binding for Predicated Execution in DSP Applications. - Qin Zhao; C. A. J. van Eijk; Carlos A. Alba Pinto; Jochen A. G. Jess (SBCCI, 2000)

Sequential equivalence checking based on structural similarities. - C. A. J. van Eijk (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 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)

Static resource models of instruction sets. - Qin Zhao; Twan Basten; Bart Mesman; C. A. J. van Eijk; Jochen A. G. Jess (ISSS, 2001)