A VLSI chip set for a multiprocessor workstation. I. An RISC microprocessor with coprocessor interface and support for symbolic processing | IEEE Journals & Magazine | IEEE Xplore