A. Richard Newton

	2006
91		Zile Wei, Donald Chai, A. Richard Newton, Andreas Kuehlmann: Fast Boolean Matching with Don't Cares. ISQED 2006: 346-351
	2005
90		Heloise Hwawen Hse, A. Richard Newton: Recognition and beautification of multi-stroke symbols in digital ink. Computers & Graphics 29(4): 533-546 (2005)
	2004
89		A. Richard Newton: Great works for the 21st century: a critical role for the modern research university. EMSOFT 2004: 1
88		Heloise Hwawen Hse, A. Richard Newton: Sketched Symbol Recognition using Zernike Moments. ICPR (1) 2004: 367-370
87		Zile Wei, Yu Cao, A. Richard Newton: Digital Image Restoration by Exposure-Splitting and Registration. ICPR (4) 2004: 657-660
86		Heloise Hwawen Hse, Michael Shilman, A. Richard Newton: Robust sketched symbol fragmentation using templates. IUI 2004: 156-160
	2002
85		Kurt Keutzer, Sharad Malik, A. Richard Newton: From ASIC to ASIP: The Next Design Discontinuity. ICCD 2002: 84-90
	2001
84		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
83		Naji Ghazal, A. Richard Newton, Jan M. Rabaey: Retargetable estimation scheme for DSP architecture selection. ASP-DAC 2000: 485-490
82		Naji Ghazal, A. Richard Newton, Jan M. Rabaey: Predicting performance potential of modern DSPs. DAC 2000: 332-335
81		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
80		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)
79		Abdallah Tabbara, Bassam Tabbara, Robert K. Brayton, A. Richard Newton: Integration of retiming with architectural floorplanning. Integration 29(1): 25-43 (2000)
	1999
78		Abdallah Tabbara, Robert K. Brayton, A. Richard Newton: Retiming for DSM with Area-Delay Trade-Offs and Delay Constraints. DAC 1999: 725-730
77		Kurt Keutzer, A. Richard Newton: The MARCO/DARPA Gigascale Silicon Research Center. ICCD 1999: 14-
	1998
76		Francis L. Chan, Mark D. Spiller, A. Richard Newton: WELD - An Environment for Web-based Electronic Design. DAC 1998: 146-151
75		A. Richard Newton: Technical Challenges of IP and System-on-Chip: The ASIC Vendor Perspective (Panel). DAC 1998: 501
74		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
73		Wray L. Buntine, Lixin Su, A. Richard Newton, Andrew Mayer: Adaptive methods for netlist partitioning. ICCAD 1997: 356-363
72		Mark D. Spiller, A. Richard Newton: EDA and the network. ICCAD 1997: 470-476
71		Premal Buch, Amit Narayan, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Logic synthesis for large pass transistor circuits. ICCAD 1997: 663-670
70		Premal Buch, Christopher K. Lennard, A. Richard Newton: Engineering change for power optimization using global sensitivity and synthesis flexibility. ISLPED 1997: 88-91
69		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
68		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
67		Christopher K. Lennard, Premal Buch, A. Richard Newton: Logic synthesis using power-sensitive don't care sets. ISLPED 1996: 293-296
66		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
65		Christopher K. Lennard, A. Richard Newton: An estimation technique to guide low power resynthesis algorithms. ISLPD 1995: 227-232
	1994
64		Ernst Siepmann, A. Richard Newton: TOBAC: A Test Case Browser for Testing Object-Oriented Software. ISSTA 1994: 154-168
63		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
62		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)
61		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
60		Jaijeet S. Roychowdhury, A. Richard Newton, Donald O. Pederson: Simulating Lossy Interconnect with High Frequency Nonidealities in Linear Time. DAC 1992: 75-80
59		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)
58		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
57		A. Richard Newton: Proceedings of the 28th Design Automation Conference, San Francisco, California, USA, June 17-21, 1991. ACM 1991
56		A. Richard Newton: Framework Standards: How Important are They? (Panel Abstract). DAC 1991: 315
55		Chuck Kring, A. Richard Newton: A Cell-Replicating Approach to Minicut-Based Circuit Partitioning. ICCAD 1991: 2-5
54		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
53		Bill Lin, A. Richard Newton: Implicit Manipulation of Equivalence Classes Using Binary Decision Diagrams. ICCD 1991: 81-85
52		A. Richard Newton: Has CAD for VLSI Reached a Dead End? VLSI 1991: 187-192
51		Bill Lin, A. Richard Newton: Exact Redundant State Registers Removal Based on Binary Decision Diagrams. VLSI 1991: 277-286
50		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)
49		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)
48		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)
47		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)
46		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)
45		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)
44		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
43		Andrea Casotto, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Design Management Based on Design Traces. DAC 1990: 136-141
42		Abhijit Ghosh, Srinivas Devadas, A. Richard Newton: Verification of Interacting Sequential Circuits. DAC 1990: 213-219
41		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
40		A. Richard Newton: Standards, Openness and Design Environments in Electronic Design Automation (Panel Abstract). DAC 1990: 497-498
39		Abhijit Ghosh, Srinivas Devadas, A. Richard Newton: Sequential Test Generation at the Register-Transfer and Logic Levels. DAC 1990: 580-586
38		Pranav Ashar, Srinivas Devadas, A. Richard Newton: A Unified Approach to the Decomposition and Re-Decomposition of Sequential Machines. DAC 1990: 601-606
37		Gregory S. Whitcomb, A. Richard Newton: Abstract Data Types and High-Level Synthesis. DAC 1990: 680-685
36		Bill Lin, Hervé J. Touati, A. Richard Newton: Don't Care Minimization of Multi-Level Sequential Logic Networks. ICCAD 1990: 414-417
35		Pranav Ashar, Abhijit Ghosh, Srinivas Devadas, A. Richard Newton: Implicit State Transition Graphs: Applications to Sequential Logic Synthesis and Test. ICCAD 1990: 84-87
34		Brian W. O'Krafka, A. Richard Newton: An Empirical Evaluation of Two Memory-Efficient Directory Methods. ISCA 1990: 138-147
33		Abhijit Ghosh, Srinivas Devadas, A. Richard Newton: Sequential logic synthesis for testability using register-transfer level descriptions. ITC 1990: 274-283
32		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)
31		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)
30		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
29		Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton: Easily testable PLA-based finite state machines. FTCS 1989: 102-109
28		Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton: Redundancies and Don't Cares in Sequential Logic Synthesis. ITC 1989: 491-500
27		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)
26		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)
25		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)
24		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)
23		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
22		Dennis W. Shaklee, A. Richard Newton: Proceedings of the 25th ACM/IEEE Conference on Design Automation, DAC '88, Anaheim, CA, USA, June 12-15, 1988. ACM 1988
21		A. Richard Newton: Twenty-Five Years of Electronic Design Automation. DAC 1988: 2
20		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
19		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
18		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)
17		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)
16		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
15		Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton: On the Verification of Sequential Machines at Differing Levels of Abstraction. DAC 1987: 271-276
14		Bill Lin, A. Richard Newton: KAHLUA: A Hierarchical Circuit Disassembler. DAC 1987: 311-317
13		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
12		Seung Ho Hwang, Young Hwan Kim, A. Richard Newton: An accuration delay modeling technique for switch-level timing verification. DAC 1986: 227-233
11		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
10		Srinivas Devadas, A. Richard Newton: GENIE: a generalized array optimizer for VLSI synthesis. DAC 1986: 631-637
9		Carlo H. Séquin, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Highlights of VLSI Research at Berkeley. FJCC 1986: 894-897
	1984
8		Jeffrey T. Deutsch, A. Richard Newton: A multiprocessor implementation of relaxation-based electrical circuit simulation. DAC 1984: 350-357
7		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
6		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
5		Kenneth H. Keller, A. Richard Newton: KIC2: A Low-Cost, Interactive Editor for Integrated Circuit Design. COMPCON 1982: 305-306
4		Gary D. Hachtel, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Techniques for programmable logic array folding. DAC 1982: 147-155
3		Kenneth H. Keller, A. Richard Newton, S. Ellis: A symbolic design system for integrated circuits. DAC 1982: 460-466
2		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)
	1980
1		A. Richard Newton: The VLSI design challenge of the 80's (Position Statement). DAC 1980: 343-344

Coauthor Index

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

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page