Authors: LEESER M MELEIS WM VAI MM CHIRICESCU S XU WD ZAVRACKY PM

Citation: M. Leeser et al., ROTHKO - A 3-DIMENSIONAL FPGA, IEEE design & test of computers, 15(1), 1998, pp. 16-23

Authors: SODERQUIST P LEESER M

Citation: P. Soderquist et M. Leeser, DIVISION AND SQUARE-ROOT - CHOOSING THE RIGHT IMPLEMENTATION, IEEE MICRO, 17(4), 1997, pp. 56-66

Authors: SODERQUIST P LEESER M

Citation: P. Soderquist et M. Leeser, AREA AND PERFORMANCE TRADEOFFS IN FLOATING-POINT DIVIDE AND SQUARE-ROOT IMPLEMENTATIONS, ACM computing surveys, 28(3), 1996, pp. 518-564

Authors: AAGAARD M LEESER M

Citation: M. Aagaard et M. Leeser, VERIFYING A LOGIC-SYNTHESIS ALGORITHM AND IMPLEMENTATION - A CASE-STUDY IN SOFTWARE-VERIFICATION, IEEE transactions on software engineering, 21(10), 1995, pp. 822-833

Authors: TAKACH A WOLF W LEESER M

Citation: A. Takach et al., AN AUTOMATON MODEL FOR SCHEDULING CONSTRAINTS IN SYNCHRONOUS MACHINES, I.E.E.E. transactions on computers, 44(1), 1995, pp. 1-12

Authors: AAGAARD M LEESER M

Citation: M. Aagaard et M. Leeser, PBS - PROVEN BOOLEAN SIMPLIFICATION, IEEE transactions on computer-aided design of integrated circuits and systems, 13(4), 1994, pp. 459-470