English

The Symbolics Ivory Design and Verification Strategy

A paper on Symbolics Ivory and NS by Neil Weste, Chris Terman, Howard Shrobe, David Sarrazin, David Tan, Kalman Reti, Eric Nestler, Henry Minsky, Alan Corry, Jim Cherry, and Clark Baker. Originally scanned by Jörg Preisendörfer. "This paper describes the design and verification strategies used to created a third generation symbolic processor optimized for the Lisp language. The approach is unique in that it is probably the first large scale application of object oriented programming techniques to a production IC design problem. These techniques have yielded not only high productivity in the construction of the design tools but also clearly demonstrate the designer productivity available through the application of a well integrated set of VLSI design tools."

Sign in with your free account to read, download EPUBs or listen.