| Data management and graphics editing in the Berkeley design environment DS Harrison ICCAD, 24-27, 1986 | 210 | 1986 |
| Electronic CAD frameworks DS Harrison, AR Newton, RL Spickelmier, TJ Barnes Proceedings of the IEEE 78 (2), 393-417, 1990 | 153 | 1990 |
| Electronic CAD frameworks TJ Barnes, D Harrison, AR Newton, RL Spickelmier Springer Science & Business Media, 2012 | 59 | 2012 |
| WOMBAT: a new netlist comparison program RL Spickelmier, AR Newton Digest of Technical Papers ICCAD-83, 170-171, 1983 | 28 | 1983 |
| Critic: A knowledge-based program for critiquing circuit designs RL Spickelmier, AR Newton Proceedings 1988 IEEE International Conference on Computer Design: VLSI, 324 …, 1988 | 27 | 1988 |
| Connectivity verification using a rule-based approach RL Spickelmier, AR Newton Proc. ICCAD, 190-192, 1985 | 18 | 1985 |
| Oct Tools Distribution 4.0 RL Spickelmier Electronics Research Lab, UC Berkeley, 1989 | 17 | 1989 |
| Circuit verification using rule-based expert systems C Lob, R Spickelmier, AR Newton Department of Electrical Engineering and Computer Sciences, University of …, 1985 | 15 | 1985 |
| Oct tools distribution 2.1 R Spickelmier University of California, Berkeley, 1988 | 13 | 1988 |
| A Programmer's Guide to Oct RL Spickelmier, P Moore, AR Newton Electronics Research Lab., University of California, Berkeley, 1990 | 8 | 1990 |
| Release notes for Oct tools distribution 3.0 R Spickelmier Electronics Research Lab., University of California, Berke-ey, 1989 | 7 | 1989 |
| Release Notes for Oct Tools Distribution 5.1. Electronics Research Laboratory RL Spickelmier University of California, Berkeley, 1991 | 5 | 1991 |
| Verification of circuit interconnectivity RL Spickelmier Electronics Research Laboratory, College of Engineering, University of …, 1983 | 4 | 1983 |
| The OCT data manager R Spickelmier, BC Richards Anatomy of a Silicon Compiler, 11-24, 1992 | 2 | 1992 |
| Policy Guides for Oct RL Spickelmier, JL Burns, AR Newton Technical Report UCB/ERL M90, 1990 | 2 | 1990 |
| Examples of Tool Use in Octtools 3.5 RL Spickelmier, P Cohen, MM Center University of California, Berkeley, Electronics Research Laboratory …, 1990 | 2 | 1990 |
| Data Management TJ Barnes, D Harrison, AR Newton, RL Spickelmier, TJ Barnes, ... Electronic CAD Frameworks, 51-75, 1992 | | 1992 |
| Extension Languages TJ Barnes, D Harrison, AR Newton, RL Spickelmier, TJ Barnes, ... Electronic CAD Frameworks, 121-137, 1992 | | 1992 |
| Data Representation TJ Barnes, D Harrison, AR Newton, RL Spickelmier, TJ Barnes, ... Electronic CAD Frameworks, 29-50, 1992 | | 1992 |
| User Interfaces TJ Barnes, D Harrison, AR Newton, RL Spickelmier, TJ Barnes, ... Electronic CAD Frameworks, 101-120, 1992 | | 1992 |