The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

C. A. J. van Eijk: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002