Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The application of program verification techniques to hardware verification.. DAC, page 375-381. ACM, (1979)Thousand-Core Chips Roundtable., , , , , and . IEEE Design & Test of Computers, 25 (3): 272-278 (2008)Performance modeling for early analysis of multi-core systems., , , , , , , , , and 3 other author(s). CODES+ISSS, page 209-214. ACM, (2007)Panel: What Drives EDA Innovation?, , , , , , , and . DAC, page 790-791. ACM, (2001)Production logic synthesis., , , , and . ACM Conference on Computer Science, page 13-16. ACM, (1985)LSS: A system for production logic synthesis., , , , and . IBM Journal of Research and Development, 44 (1): 157-166 (2000)LSS: A System for Production Logic Synthesis., , , , and . IBM Journal of Research and Development, 28 (5): 537-545 (1984)A Mask Reuse Methodology for Reducing System-on-a-Chip Cost., , , and . ISQED, page 482-487. IEEE Computer Society, (2005)Logic Synthesis Through Local Transformations., , , and . IBM Journal of Research and Development, 25 (4): 272-280 (1981)Power-efficient, reliable microprocessor architectures: modeling and design methods., , , , , , , , , and 5 other author(s). ACM Great Lakes Symposium on VLSI, page 299-304. ACM, (2010)