A while back, someone requested some cites for information on the
Symbolics Ivory chip. Here is a trio of them. The design and
verification paper is pretty eye-opening, especially considering the
mid-80's timeframe.
--David Gadbois
@InProceedings{ivory1,
author="Edwards, Bruce and Efland, Greg and Weste, Neil",
title="The Symbolics I-Machine Architecture: A Symbolic Processor Architecture for VLSI Implemenation",
booktitle="Proceedings of the IEEE International Conference on Computer Design",
year="1987",
pages"502-505"
}
@InProceedings{ivory2,
author="Weste, Neil and Terman, Chris and Schrobe, Howard and Sarrazin, David and Tan, David and Reti, Kalman and Nestler, Eric and Minsky, Henry and Corry, Alan and Cherry, Jim and Baker, Clark",
title="The Symbolics Ivory Design and Verification Strategy",
booktitle="Proceedings of the IEEE International Conference on Computer Design",
year="1987",
pages"506-511"
}
@InProceedings{ivory3,
author="Baker, Clark and Chan, David and Cherry, Jim and Corry, Alan and Efland, Greg and Edwards, Bruce and Matson, Mark and Minsky, Henry and Nestler, Eric and Reti, Kalman and Sarrazin, David and Sommer, Charles and Tan, David and Weste, Neil",
title="The Symbolics Ivory Processor: A 40 Bit Tagged Architecture Lisp Microprocessor",
booktitle="Proceedings of the IEEE International Conference on Computer Design",
year="1987",
pages="512-514"
}