Issue No. 05 - September/October (1989 vol. 6)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/54.43078
<p>A description is given of HAL II and SP, ultra-high-speed logic simulation engines for use in verifying large computer logic designs. Both use parallel processor architecture with a maximum configuration of 64 processors. The resulting simulation speed is a thousand times faster than that of conventional software logic simulators run on a mainframe. HAL II and SP, which can simulate a system with several million gates, have been used successfully in the design of large digital systems for logic simulation.</p>
A. Yamada, F. Hirose and S. Takasaki, "Logic Simulation Engines in Japan," in IEEE Design & Test of Computers, vol. 6, no. , pp. 40-49, 1989.