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.
|Title of host publication||Unknown Host Publication Title|
|Publisher||Institute of Electrical and Electronics Engineers (IEEE)|
|Number of pages||6|
|Publication status||Published - 1987|