C. A. J. van Eijk

15 papers A 4Journal 4Unranked 7

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