A. R. Newton

6 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

SPICE 3 Version 3F3 User’s Manual.

T. Quarles and others (1994)

Efficient symbolic manipulation of equivalence relations and classes

B. Lin and others (1991) · IMEC-IFIP International Workshop on Formal Methods in VLSI Design, Miami

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

B. Lin and others (1990) · IEEE Comput. Soc. Press

BEAVER: a behavioral formal verifier for VLSI design

S. H. Hwang and others (1989) · Applied Formal Methods for Correct VLSI Design (IMEC-IFIP International Workshop) · North-Holland

Timing, Logic and Mixed-Mode Simulation for Large MOS Integrated Circuits

A. R. Newton (1981) · Springer Netherlands

SPICE Version 2G User's Guide

A. Vladimirescu and others (1981)