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

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 proceeding › Conference proceeding contribution › peer-review

1 Citation (Scopus)

Abstract

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 language	English
Title of host publication	Unknown Host Publication Title
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	506-511
Number of pages	6
ISBN (Print)	0818608021
Publication status	Published - 1987
Externally published	Yes

Cite this

@inproceedings{a8b4ba7a604c48c3b48c3801a72b50f8,

title = "Symbolics ivory design and verification strategy",

abstract = "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.",

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

year = "1987",

language = "English",

isbn = "0818608021",

pages = "506--511",

booktitle = "Unknown Host Publication Title",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

address = "United States",

}

TY - GEN

T1 - Symbolics ivory design and verification strategy

AU - Weste, Neil

AU - Terman, Chris

AU - Shrobe, Howard

AU - Sarrazin, David

AU - Tan, David

AU - Reti, Kalman

AU - Nestler, Eric

AU - Minsky, Henry

AU - Corry, Alan

AU - Cherry, Jim

AU - Baker, Clark

PY - 1987

Y1 - 1987

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0023533411&partnerID=8YFLogxK

M3 - Conference proceeding contribution

AN - SCOPUS:0023533411

SN - 0818608021

SP - 506

EP - 511

BT - Unknown Host Publication Title

PB - Institute of Electrical and Electronics Engineers (IEEE)

ER -

Symbolics ivory design and verification strategy

Abstract

Other files and links

Fingerprint

Cite this