A. Richard Newton

	2006
83		Zile Wei, Donald Chai, A. Richard Newton, Andreas Kuehlmann: Fast Boolean Matching with Don't Cares. ISQED 2006: 346-351
	2005
82		Heloise Hwawen Hse, A. Richard Newton: Recognition and beautification of multi-stroke symbols in digital ink. Computers & Graphics 29(4): 533-546 (2005)
	2004
81		A. Richard Newton: Great works for the 21st century: a critical role for the modern research university. EMSOFT 2004: 1
80		Heloise Hwawen Hse, A. Richard Newton: Sketched Symbol Recognition using Zernike Moments. ICPR (1) 2004: 367-370
79		Zile Wei, Yu Cao, A. Richard Newton: Digital Image Restoration by Exposure-Splitting and Registration. ICPR (4) 2004: 657-660
78		Heloise Hwawen Hse, Michael Shilman, A. Richard Newton: Robust sketched symbol fragmentation using templates. IUI 2004: 156-160
	2002
77		Kurt Keutzer, Sharad Malik, A. Richard Newton: From ASIC to ASIP: The Next Design Discontinuity. ICCD 2002: 84-90
	2001
76		Lixin Su, Wray L. Buntine, A. Richard Newton, Bradley S. Peters: Learning as applied to stochastic optimization for standard-cellplacement. IEEE Trans. on CAD of Integrated Circuits and Systems 20(4): 516-527 (2001)
	2000
75		Naji Ghazal, A. Richard Newton, Jan M. Rabaey: Retargetable estimation scheme for DSP architecture selection. ASP-DAC 2000: 485-490
74		Naji Ghazal, A. Richard Newton, Jan M. Rabaey: Predicting performance potential of modern DSPs. DAC 2000: 332-335
73		A. Richard Newton, Walden C. Rhines, Sünke Mehrgardt, Henry Samueli, Tudor Brown: Embedded systems design in the new millennium (panel session). DAC 2000: 338-339
72		Kurt Keutzer, A. Richard Newton, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli: System-level design: orthogonalization of concerns andplatform-based design. IEEE Trans. on CAD of Integrated Circuits and Systems 19(12): 1523-1543 (2000)
71		Abdallah Tabbara, Bassam Tabbara, Robert K. Brayton, A. Richard Newton: Integration of retiming with architectural floorplanning. Integration 29(1): 25-43 (2000)
	1999
70		Abdallah Tabbara, Robert K. Brayton, A. Richard Newton: Retiming for DSM with Area-Delay Trade-Offs and Delay Constraints. DAC 1999: 725-730
69		Kurt Keutzer, A. Richard Newton: The MARCO/DARPA Gigascale Silicon Research Center. ICCD 1999: 14-
	1998
68		Francis L. Chan, Mark D. Spiller, A. Richard Newton: WELD - An Environment for Web-based Electronic Design. DAC 1998: 146-151
67		A. Richard Newton: Technical Challenges of IP and System-on-Chip: The ASIC Vendor Perspective (Panel). DAC 1998: 501
66		James Shin Young, Josh MacDonald, Michael Shilman, Abdallah Tabbara, Paul N. Hilfinger, A. Richard Newton: Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement. DAC 1998: 70-75
	1997
65		Wray L. Buntine, Lixin Su, A. Richard Newton, Andrew Mayer: Adaptive methods for netlist partitioning. ICCAD 1997: 356-363
64		Mark D. Spiller, A. Richard Newton: EDA and the network. ICCAD 1997: 470-476
63		Premal Buch, Amit Narayan, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Logic synthesis for large pass transistor circuits. ICCAD 1997: 663-670
62		Premal Buch, Christopher K. Lennard, A. Richard Newton: Engineering change for power optimization using global sensitivity and synthesis flexibility. ISLPED 1997: 88-91
61		Kurt Keutzer, A. Richard Newton, Narendra V. Shenoy: The future of logic synthesis and physical design in deep-submicron process geometries. ISPD 1997: 218-224
60		Juan Bicarregui, D. L. Clutterbuck, Gavin R. Finnie, Howard P. Haughton, Kevin Lano, H. Lesan, D. W. R. M. Marsh, B. M. Matthews, Michael R. Moulding, A. Richard Newton, Brian Ritchie, T. G. A. Rushton, P. N. Scharbach: Formal methods into practice: case studies in the application of the B method. IEE Proceedings - Software 144(2): 119-133 (1997)
	1996
59		Christopher K. Lennard, Premal Buch, A. Richard Newton: Logic synthesis using power-sensitive don't care sets. ISLPED 1996: 293-296
58		Christopher K. Lennard, A. Richard Newton: On estimation accuracy for guiding low-power resynthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 15(6): 644-664 (1996)
	1995
57		Christopher K. Lennard, A. Richard Newton: An estimation technique to guide low power resynthesis algorithms. ISLPD 1995: 227-232
	1994
56		Ernst Siepmann, A. Richard Newton: TOBAC: A Test Case Browser for Testing Object-Oriented Software. ISSTA 1994: 154-168
55		Jaijeet S. Roychowdhury, A. Richard Newton, Donald O. Pederson: Algorithms for the transient simulation of lossy interconnect. IEEE Trans. on CAD of Integrated Circuits and Systems 13(1): 96-104 (1994)
	1993
54		Abdul A. Malik, Robert K. Brayton, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Two-Level Minimization of Multivalued Functions with Large Offsets. IEEE Trans. Computers 42(11): 1325-1342 (1993)
53		Abhijit Ghosh, Srinivas Devadas, A. Richard Newton: Sequential test generation and synthesis for testability at the register-transfer and logic levels. IEEE Trans. on CAD of Integrated Circuits and Systems 12(5): 579-598 (1993)
	1992
52		Jaijeet S. Roychowdhury, A. Richard Newton, Donald O. Pederson: Simulating Lossy Interconnect with High Frequency Nonidealities in Linear Time. DAC 1992: 75-80
51		Takayasu Sakurai, Bill Lin, A. Richard Newton: Fast simulated diffusion: an optimization algorithm for multiminimum problems and its application to MOSFET model parameter extraction. IEEE Trans. on CAD of Integrated Circuits and Systems 11(2): 228-234 (1992)
50		Abhijit Ghosh, Srinivas Devadas, A. Richard Newton: Heuristic minimization of Boolean relations using testing techniques. IEEE Trans. on CAD of Integrated Circuits and Systems 11(9): 1166-1172 (1992)
	1991
49		A. Richard Newton: Framework Standards: How Important are They? (Panel Abstract). DAC 1991: 315
48		Chuck Kring, A. Richard Newton: A Cell-Replicating Approach to Minicut-Based Circuit Partitioning. ICCAD 1991: 2-5
47		Jaijeet S. Roychowdhury, A. Richard Newton, Donald O. Pederson: An Impulse-Response Based Linear Time-Complexity Algorithm for Lossy Interconnect Simulation. ICCAD 1991: 62-65
46		Bill Lin, A. Richard Newton: Implicit Manipulation of Equivalence Classes Using Binary Decision Diagrams. ICCD 1991: 81-85
45		A. Richard Newton: Has CAD for VLSI Reached a Dead End? VLSI 1991: 187-192
44		Bill Lin, A. Richard Newton: Exact Redundant State Registers Removal Based on Binary Decision Diagrams. VLSI 1991: 277-286
43		Srinivas Devadas, A. Richard Newton: Exact algorithms for output encoding, state assignment, and four-level Boolean minimization. IEEE Trans. on CAD of Integrated Circuits and Systems 10(1): 13-27 (1991)
42		Xuejun Du, Gary D. Hachtel, Bill Lin, A. Richard Newton: MUSE: a multilevel symbolic encoding algorithm for state assignment. IEEE Trans. on CAD of Integrated Circuits and Systems 10(1): 28-38 (1991)
41		Pranav Ashar, Srinivas Devadas, A. Richard Newton: Optimum and heuristic algorithms for an approach to finite state machine decomposition. IEEE Trans. on CAD of Integrated Circuits and Systems 10(3): 296-310 (1991)
40		Pranav Ashar, Srinivas Devadas, A. Richard Newton: Irredundant interacting sequential machines via optimal logic synthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 10(3): 311-325 (1991)
39		Seung Ho Hwang, A. Richard Newton: An efficient verifier for finite state machines. IEEE Trans. on CAD of Integrated Circuits and Systems 10(3): 326-334 (1991)
38		Abdul A. Malik, Robert K. Brayton, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Reduced offsets for minimization of binary-valued functions. IEEE Trans. on CAD of Integrated Circuits and Systems 10(4): 413-426 (1991)
37		Abhijit Ghosh, Srinivas Devadas, A. Richard Newton: Test generation and verification for highly sequential circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 10(5): 652-667 (1991)
	1990
36		Andrea Casotto, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Design Management Based on Design Traces. DAC 1990: 136-141
35		Abhijit Ghosh, Srinivas Devadas, A. Richard Newton: Verification of Interacting Sequential Circuits. DAC 1990: 213-219
34		Abdul A. Malik, Robert K. Brayton, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Reduced Offsets for Two-Level Multi-Valued Logic Minimization. DAC 1990: 290-296
33		A. Richard Newton: Standards, Openness and Design Environments in Electronic Design Automation (Panel Abstract). DAC 1990: 497-498
32		Abhijit Ghosh, Srinivas Devadas, A. Richard Newton: Sequential Test Generation at the Register-Transfer and Logic Levels. DAC 1990: 580-586
31		Pranav Ashar, Srinivas Devadas, A. Richard Newton: A Unified Approach to the Decomposition and Re-Decomposition of Sequential Machines. DAC 1990: 601-606
30		Gregory S. Whitcomb, A. Richard Newton: Abstract Data Types and High-Level Synthesis. DAC 1990: 680-685
29		Bill Lin, Hervé J. Touati, A. Richard Newton: Don't Care Minimization of Multi-Level Sequential Logic Networks. ICCAD 1990: 414-417
28		Pranav Ashar, Abhijit Ghosh, Srinivas Devadas, A. Richard Newton: Implicit State Transition Graphs: Applications to Sequential Logic Synthesis and Test. ICCAD 1990: 84-87
27		Brian W. O'Krafka, A. Richard Newton: An Empirical Evaluation of Two Memory-Efficient Directory Methods. ISCA 1990: 138-147
26		Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Irredundant sequential machines via optimal logic synthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 9(1): 8-18 (1990)
25		Bill Lin, A. Richard Newton: A circuit disassembly technique for synthesizing symbolic layouts from mask descriptions. IEEE Trans. on CAD of Integrated Circuits and Systems 9(9): 959-969 (1990)
24		Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton: Redundancies and don't cares in sequential logic synthesis. J. Electronic Testing 1(1): 15-30 (1990)
	1989
23		Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton: Redundancies and Don't Cares in Sequential Logic Synthesis. ITC 1989: 491-500
22		Young Hwan Kim, Seung Ho Hwang, A. Richard Newton: Electrical-logic simulation and its applications. IEEE Trans. on CAD of Integrated Circuits and Systems 8(1): 8-22 (1989)
21		Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: A synthesis and optimization procedure for fully and easily testable sequential machines. IEEE Trans. on CAD of Integrated Circuits and Systems 8(10): 1100-1107 (1989)
20		Srinivas Devadas, A. Richard Newton: Decomposition and factorization of sequential finite state machines. IEEE Trans. on CAD of Integrated Circuits and Systems 8(11): 1206-1217 (1989)
19		Resve A. Saleh, A. Richard Newton: The exploitation of latency and multirate behavior using nonlinear relaxation for circuit simulation. IEEE Trans. on CAD of Integrated Circuits and Systems 8(12): 1286-1298 (1989)
18		Srinivas Devadas, A. Richard Newton: Algorithms for hardware allocation in data path synthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 8(7): 768-781 (1989)
	1988
17		A. Richard Newton: Twenty-Five Years of Electronic Design Automation. DAC 1988: 2
16		Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Synthesis and Optimization Procedures for Fully and Easily Testable Sequential Machines. ITC 1988: 621-630
15		Hi-Keung Tony Ma, A. Richard Newton, Srinivas Devadas, Alberto L. Sangiovanni-Vincentelli: An Incomplete Scan Design Approach to Test Generation for Sequential Machines. ITC 1988: 730-734
14		Hi-Keung Tony Ma, Srinivas Devadas, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Test generation for sequential circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 7(10): 1081-1093 (1988)
13		Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: MUSTANG: state assignment of finite state machines targeting multilevel logic implementations. IEEE Trans. on CAD of Integrated Circuits and Systems 7(12): 1290-1300 (1988)
12		Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton: On the verification of sequential machines at differing levels of abstraction. IEEE Trans. on CAD of Integrated Circuits and Systems 7(6): 713-722 (1988)
	1987
11		Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton: On the Verification of Sequential Machines at Differing Levels of Abstraction. DAC 1987: 271-276
10		Bill Lin, A. Richard Newton: KAHLUA: A Hierarchical Circuit Disassembler. DAC 1987: 311-317
9		Srinivas Devadas, A. Richard Newton: Topological Optimization of Multiple-Level Array Logic. IEEE Trans. on CAD of Integrated Circuits and Systems 6(6): 915-941 (1987)
	1986
8		Seung Ho Hwang, Young Hwan Kim, A. Richard Newton: An accuration delay modeling technique for switch-level timing verification. DAC 1986: 227-233
7		George K. Jacob, A. Richard Newton, Donald O. Pederson: An empirical analysis of the performance of a multiprocessor-based circuit simulator. DAC 1986: 588-593
6		Srinivas Devadas, A. Richard Newton: GENIE: a generalized array optimizer for VLSI synthesis. DAC 1986: 631-637
5		Carlo H. Séquin, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Highlights of VLSI Research at Berkeley. FJCC 1986: 894-897
	1984
4		A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Relaxation-Based Electrical Simulation. IEEE Trans. on CAD of Integrated Circuits and Systems 3(4): 308-331 (1984)
	1983
3		Giovanni De Micheli, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Symmetric Displacement Algorithms for the Timing Analysis of Large Scale Circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 2(3): 167-180 (1983)
	1982
2		Kenneth H. Keller, A. Richard Newton: KIC2: A Low-Cost, Interactive Editor for Integrated Circuit Design. COMPCON 1982: 305-306
1		Gary D. Hachtel, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: An Algorithm for Optimal PLA Folding. IEEE Trans. on CAD of Integrated Circuits and Systems 1(2): 63-77 (1982)

Coauthor Index

1	Pranav Ashar	[28] [31] [40] [41]
2	Juan Bicarregui	[60]
3	Robert K. Brayton	[34] [38] [54] [70] [71]
4	Tudor Brown	[73]
5	Premal Buch	[59] [62] [63]
6	Wray L. Buntine	[65] [76]
7	Yu Cao	[79]
8	Andrea Casotto	[36]
9	Donald Chai	[83]
10	Francis L. Chan	[68]
11	D. L. Clutterbuck	[60]
12	Srinivas Devadas	[6] [9] [11] [12] [13] [14] [15] [16] [18] [20] [21] [23] [24] [26] [28] [31] [32] [35] [37] [40] [41] [43] [50] [53]
13	Xuejun Du	[42]
14	Gavin R. Finnie	[60]
15	Naji Ghazal	[74] [75]
16	Abhijit Ghosh	[28] [32] [35] [37] [50] [53]
17	Gary D. Hachtel	[1] [42]
18	Howard P. Haughton	[60]
19	Paul N. Hilfinger	[66]
20	Heloise Hwawen Hse	[78] [80] [82]
21	Seung Ho Hwang	[8] [22] [39]
22	George K. Jacob	[7]
23	Kenneth H. Keller	[2]
24	Kurt Keutzer	[61] [69] [72] [77]
25	Young Hwan Kim	[8] [22]
26	Chuck Kring	[48]
27	Andreas Kuehlmann	[83]
28	Kevin Lano	[60]
29	Christopher K. Lennard	[57] [58] [59] [62]
30	H. Lesan	[60]
31	Bill Lin	[10] [25] [29] [42] [44] [46] [51]
32	Hi-Keung Tony Ma	[11] [12] [13] [14] [15] [16] [21] [23] [24] [26]
33	Josh MacDonald	[66]
34	Abdul A. Malik	[34] [38] [54]
35	Sharad Malik	[77]
36	D. W. R. M. Marsh	[60]
37	B. M. Matthews	[60]
38	Andrew Mayer	[65]
39	Sünke Mehrgardt	[73]
40	Giovanni De Micheli	[3]
41	Michael R. Moulding	[60]
42	Amit Narayan	[63]
43	Brian W. O'Krafka	[27]
44	Donald O. Pederson	[7] [47] [52] [55]
45	Bradley S. Peters	[76]
46	Jan M. Rabaey	[72] [74] [75]
47	Walden C. Rhines	[73]
48	Brian Ritchie	[60]
49	Jaijeet S. Roychowdhury	[47] [52] [55]
50	T. G. A. Rushton	[60]
51	Takayasu Sakurai	[51]
52	Resve A. Saleh (Resve Saleh, Res Saleh)	[19]
53	Henry Samueli	[73]
54	Alberto L. Sangiovanni-Vincentelli	[1] [3] [4] [5] [13] [14] [15] [16] [21] [26] [34] [36] [38] [54] [63] [72]
55	P. N. Scharbach	[60]
56	Carlo H. Séquin	[5]
57	Narendra V. Shenoy	[61]
58	Michael Shilman	[66] [78]
59	Ernst Siepmann	[56]
60	Mark D. Spiller	[64] [68]
61	Lixin Su	[65] [76]
62	Abdallah Tabbara	[66] [70] [71]
63	Bassam Tabbara	[71]
64	Hervé J. Touati	[29]
65	Zile Wei	[79] [83]
66	Gregory S. Whitcomb	[30]
67	James Shin Young	[66]

Colors in the list of coauthors