Symbolics ivory design and verification strategy

Neil Weste*, Chris Terman, Howard Shrobe, David Sarrazin, David Tan, Kalman Reti, Eric Nestler, Henry Minsky, Alan Corry, Jim Cherry, Clark Baker

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

1 Citation (Scopus)


A description is given of the design and verification strategies used to create a third-generation symbolic processor optimized for the Lisp language. The approach is unique in that it appears to be the first large-scale application of object-oriented programming techniques to a production IC design problem. These techniques have yielded high productivity in the construction of the design tools and clearly demonstrate the designer productivity available through the application of a well-integrated set of VLSI design tools.

Original languageEnglish
Title of host publicationUnknown Host Publication Title
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Number of pages6
ISBN (Print)0818608021
Publication statusPublished - 1987
Externally publishedYes


Dive into the research topics of 'Symbolics ivory design and verification strategy'. Together they form a unique fingerprint.

Cite this