📄 http:^^www.cs.berkeley.edu^people^faculty^homepages^newton.html
字号:
Date: Thu, 21 Nov 1996 19:57:39 GMTServer: NCSA/1.4Content-type: text/htmlLast-modified: Fri, 09 Aug 1996 20:23:03 GMTContent-length: 3019<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN"><!--Weblint & html-check on 08/09/96--><HTML><HEAD><TITLE>Richard Newton</TITLE></HEAD><BODY><H1><!WA0><IMG SRC="http://www.cs.berkeley.edu/People/Faculty/Images/newton.gif" ALT=""> Richard Newton</H1><P>Ph.D., University of California at Berkeley</P><P>Professor<BR>(510) 642-2967<BR><!WA1><A HREF="mailto:newton@eecs.berkeley.edu">newton@eecs.berkeley.edu</A></P><H2>Awards/Lectureships </H2><UL><LI>C. Holmes McDonald Distinguished Teaching Award, Eta Kappa Nu Society,1986<BR><LI>Best Paper Award, ACM/IEEE Design Automation Conference, 1990<BR><LI>Best Paper, IEEE Computer-Aided Design of Integrated Circuitsand Systems, 1989<BR><LI>Best Paper Award, IEEE International Conference on Computer Design, 1988<BR><LI>Best Paper Award, ACM/IEEE Design Automation Conference, 1987<BR><LI>Best Paper Award, European Solid-State Circuit Conference, 1983<BR><LI>Distinguished Lecturer, IEEE Circuits and Systems Society, 1985-1986<BR></UL><H2>Editorships/Program Committees</H2><UL><LI><P><STRONG>General Chair</STRONG><BR><I>ACM/IEEE Design Automation Conference, 1991</I></P> <LI> <P><STRONG>Member</STRONG><BR><I>Technical Advisory Board, CAD Framework Initiative (CFI)</I></P> <LI><P><STRONG>Organizer</STRONG><BR><I>ACM Workshop on Synthesis, Simulation and Physical Design, Leningrad, USSR, 1991</I></P><LI><P><STRONG>Associate Editor</STRONG><BR><I>IEEE Transactions on Computer-Aided Design, 1985-1988</I></P><LI><P><STRONG>Member</STRONG><BR><I>Technical Program Committee, IEEE International Conference on Computer Aided Design, 1989-1990</I></P><LI><P><STRONG>Member</STRONG><BR><I>Technical Program Committee, IEEE International Conference on Computer Aided Design, 1984-1986</I></P></UL><H2>Selected Publications</H2><UL><LI><P><STRONG>Test Generation and Verification for Highly Sequential Circuits</STRONG><BR>(with A. Ghosh and S. Devadas), <I>IEEE Trans. Computer-Aided Design, </I>Vol. 10, No. 5, May 1991, pp. 652-667.</P><LI><P><STRONG>Exact Algorithms for Output Encoding, State Assignment, and Four-Level Boolean Minimization</STRONG><BR>(with S. Devadas), <I>IEEE Trans. Computer-Aided Design, </I>Vol. 10, No. 1, January 1991, pp. 13-27.</P><LI><P><STRONG>Alpha-Power Law MOSFET Model and Its Applications to CMOS Inverter Delay and Other Formulas</STRONG><BR>(with T. Sakurai), <I>IEEE J. Solid-State Circuits, </I>Vol. 25, No. 2, April 1990, pp. 584-594.</P><LI><P><STRONG>Electronic CAD Frameworks</STRONG><BR>(with D. S. Harrison, <I>R. L. Spickelmier, </I>and T. J. Barnes), Proc. IEEE, Vol. 78, No. 2, February 1990, pp. 393-417 (invited).</P><LI><P><STRONG>A Synthesis and Optimization Procedure for Fully and Easily Testable Sequential Machines</STRONG><BR>(with S. Devadas, H.-K. Ma, and A. L. Sangiovanni-Vincentelli), <I>IEEE Trans. Computer-Aided Design,</I> Vol. 8, No. 10, October 1989, pp. 1100-1107.</P></UL></BODY></HTML><!--JHL-->⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -