Search the dblp DataBase

Publications of Author

1. C. A. J. van Eijk
   Sequential Equivalence Checking without State Space Traversal. [Citation Graph (0, 0)][DBLP]
   DATE, 1998, pp:618-623 [Conf]
   
2. C. A. J. van Eijk, E. T. A. F. Jacobs, Bart Mesman, Adwin H. Timmer
   Identification and Exploitation of Symmetries in DSP Algorithms. [Citation Graph (0, 0)][DBLP]
   DATE, 1999, pp:602-608 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   DATE, 1998, pp:749-754 [Conf]
   
4. Harm Arts, Michel R. C. M. Berkelaar, C. A. J. van Eijk
   Polarized observability don't cares. [Citation Graph (0, 0)][DBLP]
   ICCAD, 1996, pp:626-631 [Conf]
   
5. R. X. T. Nijssen, C. A. J. van Eijk
   Regular layout generation of logically optimized datapaths. [Citation Graph (0, 0)][DBLP]
   ISPD, 1997, pp:42-47 [Conf]
   
6. Qin Zhao, Twan Basten, Bart Mesman, C. A. J. van Eijk, Jochen A. G. Jess
   Static resource models of instruction sets. [Citation Graph (0, 0)][DBLP]
   ISSS, 2001, pp:159-164 [Conf]
   
7. 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. [Citation Graph (0, 0)][DBLP]
   ISSS, 1996, pp:51-56 [Conf]
   
8. C. A. J. van Eijk, Geert Janssen
   Exploiting Structural Similarities in a BDD-Based Verification Method. [Citation Graph (0, 0)][DBLP]
   TPCD, 1994, pp:110-125 [Conf]
   
9. C. A. J. van Eijk
   A BDD-based verification method for large synthesized circuits. [Citation Graph (0, 0)][DBLP]
   Integration, 1997, v:23, n:2, pp:131-149 [Journal]
   
10. R. X. T. Nijssen, C. A. J. van Eijk
    GreyHound: A methodology for utilizing datapath regularity in standard design flows. [Citation Graph (0, 0)][DBLP]
    Integration, 1998, v:25, n:2, pp:111-135 [Journal]
    
11. C. A. J. van Eijk
    Sequential equivalence checking based on structural similarities. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2000, v:19, n:7, pp:814-819 [Journal]
    
12. 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. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Design Autom. Electr. Syst., 2000, v:5, n:1, pp:1-38 [Journal]