A. Richard Newton

发表

Redundancies and don't cares in sequential logic synthesis

Srinivas Devadas, Hi-Keung Y. Ma, A. Richard Newton, 1990, J. Electron. Test..

Abstract data types and high-level synthesis

A. Richard Newton, Gregory S. Whitcomb, 1991, DAC '90.

Evaluation and guidance in processor architecture selection for dsp

A. Richard Newton, Naji Sami Ghazal, 2000 .

1995 Keynote Address

A. Richard Newton, 1995, DAC 1995.

Sequential Synthesis for Testability

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1992 .

Embedded systems design in the new millennium (panel session)

A. Richard Newton, Walden C. Rhines, Sünke Mehrgardt, 2000, DAC.

The VLSI design challenge of the 80's (Position Statement)

A. Richard Newton, 1980, DAC '80.

Reduced offsets for minimization of binary-valued functions

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, A. Richard Newton, 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

A Symbolic Design System for Integrated Circuits

A. Richard Newton, Kenneth H. Keller, S. Ellis, 1982, 19th Design Automation Conference.

Sequential test generation and synthesis for testability at the register-transfer and logic levels

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Digital Image Restoration by Exposure-Splitting and Registration

A. Richard Newton, Zile Wei, Yu Cao, 2004, ICPR.

TOBAC: a test case browser for testing object-oriented software

A. Richard Newton, Ernst Siepmann, A. Newton, 1994, ISSTA '94.

WELD—an environment for Web-based electronic design

A. Richard Newton, Francis L. Chan, Mark D. Spiller, 1998, DAC.

Sequential logic synthesis for testability using register-transfer level descriptions

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1990, Proceedings. International Test Conference 1990.

Encoding of Symbolic Outputs

Srinivas Devadas, A. Richard Newton, Pranav Ashar, 1992 .

Verification of interacting sequential circuits

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1991, DAC '90.

A cell-replicating approach to minicut-based circuit partitioning

A. Richard Newton, Chuck Kring, A. Newton, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

Don't care minimization of multi-level sequential logic networks

A. Richard Newton, Bill Lin, Hervé J. Touati, 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

Distributed design data management for electronic design automation

A. Richard Newton, Mark D. Spiller, 2004 .

Logic synthesis for large pass transistor circuits

A. Richard Newton, Alberto Sangiovanni-Vincentelli, Amit Narayan, 1997, ICCAD 1997.

The Mixed-Mode Interface

A. Richard Newton, Shyh-Jye Jou, Resve Saleh, 1994 .

VLSI-Based System Design Challenges in the Early 1990s

A. Richard Newton, 1990 .

Exact algorithms for output encoding, state assignment, and four-level Boolean minimization

Srinivas Devadas, A. Richard Newton, 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Retiming for DSM with area-delay trade-offs and delay constraints

Robert K. Brayton, A. Richard Newton, Abdallah Tabbara, 1999, DAC '99.

Symbolic FSM Traversal Methods

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1992 .

Formal methods into practice: case studies in the application of the B method

A. Richard Newton, Kevin Lano, Brian Ritchie, 1997, IEE Proc. Softw. Eng..

Algorithms for the transient simulation of lossy interconnect

A. Richard Newton, Jaijeet S. Roychowdhury, Donald O. Pederson, 1994, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Introduction to design automation for electronic systems

A. Richard Newton, 1991 .

Electrical-logic simulation and its applications

A. Richard Newton, Young Hwan Kim, Seung Ho Hwang, 1989, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

A common model approach to the integration of heterogeneous models of communications, concurrency, and coordination for embedded systems

A. Richard Newton, James Shin Young, 2004 .

An Empirical Analysis of the Performance of a Multiprocessor-Based Circuit Simulator

A. Richard Newton, Donald O. Pederson, George K. Jacob, 1986, 23rd ACM/IEEE Design Automation Conference.

Integration of retiming with architectural floorplanning

Robert K. Brayton, A. Richard Newton, Bassam Tabbara, 2000, Integr..

Heuristic minimization of Boolean relations using testing techniques

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1992, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

The exploitation of latency and multirate behavior using nonlinear relaxation for circuit simulation

A. Richard Newton, Resve A. Saleh, R. Saleh, 1989, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

MUSE: a multilevel symbolic encoding algorithm for state assignment

A. Richard Newton, Bill Lin, Gary D. Hachtel, 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

A multiprocessor implementation of relaxation-based electrical circuit simulation

A. Richard Newton, Jeffrey T. Deutsch, J. T. Deutsch, 1984, DAC 1984.

Custom and Semi-Custom Design Techniques

A. Richard Newton, 1984 .

Twenty-five years of electronic design automation

A. Richard Newton, A. Newton, 1988, DAC '88.

Symmetric Displacement Algorithms for the Timing Analysis of Large Scale Circuits

Alberto L. Sangiovanni-Vincentelli, Giovanni De Micheli, A. Richard Newton, 1983, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

An efficient verifier for finite state machines

A. Richard Newton, Seung Ho Hwang, 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Conclusions and Directions for Future Work

Srinivas Devadas, A. Richard Newton, Pranav Ashar, 1992 .

Sketched symbol recognition using Zernike moments

A. Richard Newton, Heloise Hwawen Hse, A. Newton, 2004, Proceedings of the 17th International Conference on Pattern Recognition, 2004. ICPR 2004..

Exact Redundant State Registers Removal Based on Binary Decision Diagrams

A. Richard Newton, Bill Lin, A. Newton, 1991, VLSI.

Irredundant interacting sequential machines via optimal logic synthesis

Srinivas Devadas, A. Richard Newton, Pranav Ashar, 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

An estimation technique to guide low power resynthesis algorithms

A. Richard Newton, Christopher K. Lennard, 1995, ISLPED '95.

EDA and the network

A. Richard Newton, Mark D. Spiller, A. Newton, 1997, 1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).

Improvement of stochastic optimization through learning for complex problems

A. Richard Newton, Lixin Su, 2000 .

Framework Standards: How Important are They? (Panel Abstract)

A. Richard Newton, 1991, DAC.

Iterated Timing Analysis

A. Richard Newton, Resve Saleh, 1990 .

Session 1 custom and semi-custom design techniques

A. Richard Newton, 1984 .

Retargetable estimation scheme for DSP architecture selection

Jan M. Rabaey, A. Richard Newton, Naji Ghazal, 2000, Proceedings 2000. Design Automation Conference. (IEEE Cat. No.00CH37106).

Test generation for highly sequential circuits

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1989, 1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

Implementation of Mixed-Mode Simulation

A. Richard Newton, Resve Saleh, 1990 .

Robust sketched symbol fragmentation using templates

A. Richard Newton, Michael Shilman, Heloise Hwawen Hse, 2004, IUI '04.

Topological Optimization of Multiple-Level Array Logic

Srinivas Devadas, A. Richard Newton, A. Newton, 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Optimum and heuristic algorithms for an approach to finite state machine decomposition

Srinivas Devadas, A. Richard Newton, Pranav Ashar, 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Mixed-Mode Simulation and Implementation

A. Richard Newton, Shyh-Jye Jou, Resve Saleh, 1994 .

Logic synthesis for large pass transistor circuits

Alberto L. Sangiovanni-Vincentelli, A. Richard Newton, Amit Narayan, 1997, 1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).

Logic Synthesis for Integrated Circuit Design, Selected Papers On

A. Richard Newton, A. Newton, 1987 .

Sequential test generation at the register-transfer and logic levels

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1991, DAC '90.

Basic Definitions and Concepts

Srinivas Devadas, A. Richard Newton, Pranav Ashar, 1992 .

Practical and adaptive multi-stroke symbol recognition

A. Richard Newton, Heloise Hwawen Hse, 2004 .

Test generation for sequential circuits

Alberto L. Sangiovanni-Vincentelli, Srinivas Devadas, A. Richard Newton, 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Interfacing system description languages to formal verification

A. Richard Newton, Wendell Craig Baker, 1996 .

Experiments on the synthesis and testability of non-scan finite state machines

Tiziano Villa, A. Richard Newton, Michael Pabst, 1992, Proceedings EURO-DAC '92: European Design Automation Conference.

Relaxation-based electrical simulation

Alberto L. Sangiovanni-Vincentelli, A. Richard Newton, A. Sangiovanni-Vincentelli, 1983, IEEE Transactions on Electron Devices.

Techniques for Programmable Logic Array Folding

Alberto L. Sangiovanni-Vincentelli, A. Richard Newton, Gary D. Hachtel, 1982, 19th Design Automation Conference.

An exact analytic technique for simulating uniform RC lines

A. Richard Newton, Jaijeet S. Roychowdhury, Donald O. Pederson, 1992, Proceedings EURO-DAC '92: European Design Automation Conference.

Switch-Level Timing Simulation

A. Richard Newton, Resve Saleh, 1990 .

KIC2: A Low-Cost, Interactive Editor for Integrated Circuit Design

A. Richard Newton, Kenneth H. Keller, A. Newton, 1982, COMPCON.

Algorithms for hardware allocation in data path synthesis

Srinivas Devadas, A. Richard Newton, 1989, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Implicit manipulation of equivalence classes using binary decision diagrams

A. Richard Newton, Bill Lin, 1991, [1991 Proceedings] IEEE International Conference on Computer Design: VLSI in Computers and Processors.

Reduced offsets for two-level multi-valued logic minimization

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, A. Richard Newton, 1991, DAC '90.

A unified approach to the decomposition and re-decomposition of sequential machines

Srinivas Devadas, A. Richard Newton, Pranav Ashar, 1991, DAC '90.

Decomposition and factorization of sequential finite state machines

Srinivas Devadas, A. Richard Newton, 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.

Test Generation Using RTL Descriptions

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1992 .

On the verification of sequential machines at differing levels of abstraction

Srinivas Devadas, A. Richard Newton, Hi-Keung Tony Ma, 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Decomposition and factorization of sequential finite state machines

Srinivas Devadas, A. Richard Newton, 1989, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Sequential Don’t Cares

Srinivas Devadas, A. Richard Newton, Pranav Ashar, 1992 .

The CAD Framework Initiative

A. Richard Newton, David Harrison, Rick L. Spickelmier, 1992 .

Learning as applied to stochastic optimization for standard-cellplacement

A. Richard Newton, Wray L. Buntine, Lixin Su, 2001, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Introduction to Mixed-Mode Simulation

A. Richard Newton, Resve Saleh, 1990 .

Analog Multilevel Simulation

A. Richard Newton, Shyh-Jye Jou, Resve Saleh, 1994 .

Engineering Applied to Societal Problems: A New Outlook

A. Richard Newton, 2004, IEEE Design & Test of Computers.

Implementing a CAD Framework

A. Richard Newton, David Harrison, Rick L. Spickelmier, 1992 .

Fast Boolean matching with don't cares

A. Richard Newton, Andreas Kuehlmann, Zile Wei, 2006, 7th International Symposium on Quality Electronic Design (ISQED'06).

Engineering change for power optimization using global sensitivity and synthesis flexibility

A. Richard Newton, Christopher K. Lennard, Premal Buch, 1997, Proceedings of 1997 International Symposium on Low Power Electronics and Design.

Easily testable PLA-based finite state machines

Srinivas Devadas, A. Richard Newton, Hi-Keung Tony Ma, 1989, [1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

Fast simulated diffusion: an optimization algorithm for multiminimum problems and its application to MOSFET model parameter extraction

A. Richard Newton, Takayasu Sakurai, Bill Lin, 1992, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

SPICE3 Version 3f3 User s Manual

A. Richard Newton, Alberto Sangiovanni-Vincentelli, Donald O. Pederson, 1993 .

Implicit state transition graphs: applications to sequential logic synthesis and test

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

GENIE: A Generalized Array Optimizer for VLSI Synthesis

Srinivas Devadas, A. Richard Newton, A. Newton, 1986, 23rd ACM/IEEE Design Automation Conference.

Encoding of Symbolic Inputs

Srinivas Devadas, A. Richard Newton, Pranav Ashar, 1992 .

Discerning structure from freeform sketches

A. Richard Newton, Michael Shilman, A. Newton, 2003 .

Highlights of VLSI Research at Berkeley

Alberto L. Sangiovanni-Vincentelli, A. Richard Newton, Carlo H. Séquin, 1986, FJCC.

On The Verification of Sequential Machines at Differing Levels of Abstraction

Srinivas Devadas, A. Richard Newton, Hi-Keung Tony Ma, 1987, 24th ACM/IEEE Design Automation Conference.

Predicting performance potential of modern DSPs

Jan M. Rabaey, A. Richard Newton, Naji Ghazal, 2000, Proceedings 37th Design Automation Conference.

The JavaTime approach to mixed hardware-software system design

A. Richard Newton, Abdallah Tabbara, Michael Shilman, 1999 .

Sequential Test Generation

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1992 .

Mixed-mode simulation and analog multilevel simulation

A. Richard Newton, Resve A. Saleh, Shyh-Jye Jou, 1994, The Kluwer international series in engineering and computer science.

Standards, Openness and Design Environments in Electronic Design Automation (Panel Abstract)

A. Richard Newton, A. Newton, 1990, DAC.

Irredundant sequential machines via optimal logic synthesis

Alberto L. Sangiovanni-Vincentelli, Srinivas Devadas, A. Richard Newton, 1990, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Recognition and beautification of multi-stroke symbols in digital ink

A. Richard Newton, Heloise Hwawen Hse, A. Newton, 2005, Comput. Graph..

Relaxation-Based Simulation Techniques

A. Richard Newton, Resve Saleh, 1990 .

Gate-Level Simulation

A. Richard Newton, Shyh-Jye Jou, Resve Saleh, 1985, IEEE Design & Test of Computers.

Simulating lossy interconnect with high frequency nonidealities in linear time

A. Richard Newton, Jaijeet S. Roychowdhury, Donald O. Pederson, 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

Selected Papers on Logic Synthesis for Integrated Circuit Design

A. Richard Newton, Ieee Circuits, Ieee Circuits, 1987 .

From ASIC to ASIP: the next design discontinuity

Sharad Malik, Kurt Keutzer, A. Richard Newton, 2002, Proceedings. IEEE International Conference on Computer Design: VLSI in Computers and Processors.

An application of a synchronous~reactive semantics to the vhdl language

A. Richard Newton, W. C. Baker, 1992 .

The MARCO/DARPA Gigascale Silicon Research Center

Kurt Keutzer, A. Richard Newton, K. Keutzer, 1999, Proceedings 1999 IEEE International Conference on Computer Design: VLSI in Computers and Processors (Cat. No.99CB37040).

EDA and the network

A. Richard Newton, Mark D. Spiller, 1997, ICCAD 1997.

SLIP: a software environment for system level interactive partitioning

Robert K. Brayton, Rajeev Murgai, A. Richard Newton, 1989, 1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

Analysis of performance and convergence issues for circuit simulation

A. Richard Newton, Thomas Linwood Quarles, T. Quarles, 1989 .

Symbolic Layout and Procedural Design

A. Richard Newton, 1987 .

Highlight of VLSI at research Berkeley

A. Richard Newton, Alberto Sangiovanni-Vincentelli, Carlo H. Séquin, 1986 .

Major Components of an Engineering Framework

A. Richard Newton, David Harrison, Rick L. Spickelmier, 1992 .

Synthesis and optimization procedures for fully and easily testable sequential machines

Alberto L. Sangiovanni-Vincentelli, Srinivas Devadas, A. Richard Newton, 1988, International Test Conference 1988 Proceeding@m_New Frontiers in Testing.

Data-Flow/Event Graphs

A. Richard Newton, G. S. Whitcomb, 1992 .

Electrical Simulation Techniques

A. Richard Newton, Resve Saleh, 1990 .

KAHLUA: A Hierarchical Circuit Disassembler

A. Richard Newton, Bill Lin, 1987, 24th ACM/IEEE Design Automation Conference.

Design and specification of embedded systems in Java using successive, formal refinement

A. Richard Newton, Abdallah Tabbara, Paul N. Hilfinger, 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).

A circuit disassembly technique for synthesizing symbolic layouts from mask descriptions

A. Richard Newton, Bill Lin, 1990, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

MUSTANG: state assignment of finite state machines targeting multilevel logic implementations

Alberto L. Sangiovanni-Vincentelli, Srinivas Devadas, A. Richard Newton, 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Redundancies and don't cares in sequential logic synthesis

Srinivas Devadas, A. Richard Newton, Hi-Keung Tony Ma, 1989, Proceedings. 'Meeting the Tests of Time'., International Test Conference.

Has CAD for VLSI Reached a Dead End?

A. Richard Newton, A. Newton, 1991, VLSI.

Test generation and verification for highly sequential circuits

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Logic synthesis using power-sensitive don't care sets

A. Richard Newton, Christopher K. Lennard, Premal Buch, 1996, ISLPED '96.

An impulse-response based linear time-complexity algorithm for lossy interconnect simulation

A. Richard Newton, Jaijeet S. Roychowdhury, Donald O. Pederson, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

The Berkeley synthesis project

Alberto L. Sangiovanni-Vincentelli, A. Richard Newton, Carlo H. Séquin, 1987, 1987 Symposium on VLSI Circuits.

Adaptive methods for netlist partitioning

A. Richard Newton, Wray Buntine, Andrew Mayer, 1997, ICCAD 1997.

A SIMPLE MOSFET MODEL FOR CIRCUIT ANALYSIS AND ITS APPLICATION TO CMOS GATE DELAY ANALYSIS AND SERIES-CONNECTED MOSFET STRUCTURE

A. Richard Newton, Takayasu Sakurai, 1990 .

System-level design: orthogonalization of concerns andplatform-based design

Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey, Kurt Keutzer, 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

The future of logic synthesis and physical design in deep-submicron process geometries

Narendra V. Shenoy, Kurt Keutzer, A. Richard Newton, 1997, ISPD '97.

An empirical evaluation of two memory-efficient directory methods

A. Richard Newton, Brian W. O'Krafka, 1990, ISCA '90.

Design management based on design traces

Alberto L. Sangiovanni-Vincentelli, A. Richard Newton, Andrea Casotto, 1991, DAC '90.

An Algorithm for Optimal PLA Folding

Alberto L. Sangiovanni-Vincentelli, A. Richard Newton, Gary D. Hachtel, 1982, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Finite State Machine Decomposition

Srinivas Devadas, A. Richard Newton, Pranav Ashar, 1992 .

A modified approach to two-level logic minimization

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, A. Richard Newton, 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.

Technical challenges of IP and system-on-chip (panel): the ASIC vendor perspective

A. Richard Newton, 1998, DAC.

Testability driven synthesis of interacting finite state machines

Srinivas Devadas, A. Richard Newton, Pranav Ashar, 1990, Proceedings., 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors.

On estimation accuracy for guiding low-power resynthesis

A. Richard Newton, Christopher K. Lennard, 1996, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Adaptive methods for netlist partitioning

A. Richard Newton, Wray L. Buntine, Lixin Su, 1997, 1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).

Estimation and synthesis for low-power, high-performance integrated circuits

A. Richard Newton, Premal Buch, A. Newton, 1997 .

Great works for the 21st century: a critical role for the modern research university

A. Richard Newton, 2004, EMSOFT '04.

An Accurate Delay Modeling Technique for Switch-Level Timing Verification

A. Richard Newton, Young Hwan Kim, Seung Ho Hwang, 1986, 23rd ACM/IEEE Design Automation Conference.

Heuristic minimization of Boolean relations using testing techniques

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1990, Proceedings., 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors.

Optimum and heuristic algorithms for finite state machine decomposition and partitioning

Srinivas Devadas, A. Richard Newton, Pranav Ashar, 1989, 1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

Design Flow Management

A. Richard Newton, David Harrison, Rick L. Spickelmier, 1992 .

Retiming and resynthesis approach for soft intellectual property integration in system-on-chip design

A. Richard Newton, Abdallah Tabbara, 2001 .

Boolean decomposition in multi-level logic optimization

Alberto L. Sangiovanni-Vincentelli, Srinivas Devadas, A. Richard Newton, 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.

The maximal VHDL subset with a cycle-level abstraction

A. Richard Newton, Wendell C. Baker, A. Newton, 1996, Proceedings EURO-DAC '96. European Design Automation Conference with EURO-VHDL '96 and Exhibition.

An incomplete scan design approach to test generation for sequential machines

Alberto L. Sangiovanni-Vincentelli, Srinivas Devadas, A. Richard Newton, 1988, International Test Conference 1988 Proceeding@m_New Frontiers in Testing.

Learning as applied to stochastic optimization for standard cell placement

A. Richard Newton, Wray L. Buntine, Lixin Su, 1998, Proceedings International Conference on Computer Design. VLSI in Computers and Processors (Cat. No.98CB36273).

Accelerating Relaxation Algorithms for Circuit Simulation Using Waveform Newton, Iterative Step Size

A. Richard Newton, Jacob K. White, Resve Saleh, 1985 .

Sequential Logic Testing and Verification

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1991 .