Sequential equivalence checking based on structural similarities
van Eijk, C.A.J.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.07.2000)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.07.2000)
Get full text
Journal Article
Static resource models of instruction sets
Zhao, Q., Basten, T., Mesman, B., van Eijk, C. A. J., Jess, J. A. G.
Published in International Symposium on System Synthesis (IEEE Cat. No.01EX526) (2001)
Published in International Symposium on System Synthesis (IEEE Cat. No.01EX526) (2001)
Get full text
Conference Proceeding
Journal Article
Register Binding for Predicated Execution in DSP Applications
Zhao, Q., van Eijk, C. A. J., Alba Pinto, C. A., Jess, J. A. G.
Published in Proceedings of the 13th symposium on Integrated circuits and systems design (18.09.2000)
Published in Proceedings of the 13th symposium on Integrated circuits and systems design (18.09.2000)
Get full text
Conference Proceeding
A Constructive Method for Exploiting Code Motion
Santos, Luiz C. V. dos, Heijligers, M. J. M., Van Eijk, C. A. J., Van Eijndhoven, J. T. J., Jess, J. A. G.
Published in International Symposium on Systems Synthesis: Proceedings of the 9th international symposium on System synthesis; 06-08 Nov. 1996 (06.11.1996)
Published in International Symposium on Systems Synthesis: Proceedings of the 9th international symposium on System synthesis; 06-08 Nov. 1996 (06.11.1996)
Get full text
Conference Proceeding
Sequential equivalence checking without state space traversal
van Eijk, C. A. J.
Published in Proceedings of the conference on Design, automation and test in Europe (23.02.1998)
Published in Proceedings of the conference on Design, automation and test in Europe (23.02.1998)
Get full text
Conference Proceeding
An efficient divide and conquer algorithm for exact hazard free logic minimization
Rutten, J. W. J. M., Berkelaar, M. R. C. M., van Eijk, C. A. J., Kolsteren, M. A. J.
Published in Proceedings of the conference on Design, automation and test in Europe (23.02.1998)
Published in Proceedings of the conference on Design, automation and test in Europe (23.02.1998)
Get full text
Conference Proceeding