Richard L. Rudell

发表

Multi-level logic minimization using implicit don't cares

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Gary D. Hachtel, 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Logic synthesis for vlsi design

Alberto Sangiovanni-Vincentelli, Richard L. Rudell, A. Sangiovanni-Vincentelli, 1989 .

Tutorial: Design of a Logic Synthesis System

Richard L. Rudell, 1996, DAC.

Multiple-Valued Minimization for PLA Optimization

Alberto L. Sangiovanni-Vincentelli, Richard L. Rudell, A. Sangiovanni-Vincentelli, 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

The Validity of Retiming Sequential Circuits

Robert K. Brayton, Carl Pixley, Richard L. Rudell, 1995, 32nd Design Automation Conference.

Extended stuck-fault testability for combinational networks

Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Patrick C. McGeer, 1990 .

Efficient Implementation Of Retiming

Narendra V. Shenoy, Richard L. Rudell, H. Zhou, 1994, IEEE/ACM International Conference on Computer-Aided Design.

Efficient implementation of retiming

Narendra V. Shenoy, Richard L. Rudell, 1994, ICCAD.

Proceedings of the 1994 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1994, San Jose, California, USA, November 6-10, 1994

Richard L. Rudell, Jochen A. G. Jess, 1994, ICCAD.

Efficient implementation of a BDD package

Randal E. Bryant, Richard L. Rudell, Karl S. Brace, 1991, DAC '90.

Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1995, San Jose, California, USA, November 5-9, 1995

Richard L. Rudell, 1995, ICCAD.

Design of a logic synthesis system (tutorial)

Richard L. Rudell, 1996, DAC 1996.

MIS: A Multiple-Level Logic Optimization System

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Richard L. Rudell, 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Tutorial: design of a logic synthesis system

Richard L. Rudell, 1996, 33rd Design Automation Conference Proceedings, 1996.

A microcomputer system for the control of behavioral experiments

Peter A. Santi, Richard L. Rudell, Marilyn E. Carroll, 1981, Pharmacology Biochemistry and Behavior.