R. Rudell

Dynamic variable ordering for ordered binary decision diagrams

R. Rudell, 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).

Dynamic variable ordering for ordered binary decision diagrams

R. Rudell, 1993, ICCAD 1993.

Efficient implementation of a BDD package

R. Bryant, R. Rudell, K. Brace, 1990, 27th ACM/IEEE Design Automation Conference.

Table 1: Redesign 5 Implementation and Results Figure 4: Multi-level Logic Minimization 3.2 Multi-level Logic Minimization 4 Logic Synthesis from the Results of Boolean Unication

J. N. Culliney, A. Sangiovanni-Vincentelli, G. Hachtel, 1991 .

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.

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.

Multiple-Valued Logic Minimization for PLA Synthesis

R. Rudell, Richard L Rudell, 1986 .

A microcomputer system for the control of behavioral experiments

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

A Multiple-level Logic Optimization System. Ieee Transactions on Com- Karon] Kevin Karplus. Using If-then-else Dags for Multi-levellogic Minimization. Ieee Trans- Actions on Computer-aided Design of Integrated Circuits and Systems, in Preparation. Km90] Kevin Karplus and Dipen Moitra. Using Dominato

Albert R. Wang, R. Brayton, A. Sangiovanni-Vincentelli, 1989 .

Exact Minimization of Multiple-Valued Functions for PLA Optimization

Alberto Sangiovanni-Vincentelli, R. Rudell, A. Sangiovanni-Vincentelli, 2003 .

Logic synthesis for vlsi design

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