G. Ramalingam
Theoretical Computer Science
Gate-level logic simulation takes up more CPU time as system complexity increases. A special-purpose system which can cut verification time by several orders of magnitude is described. The Yorktown Simulation Engine (YSE) is a highly parallel programmable machine which can simulate up to 1 M gates at a speed of over 2000M gate simulations per second. It is estimated that the IBM 3081 processor could have been simulated at over 1 000 instructions per second on YSE. Gate-level logic simulation is reviewed and the architecture and hardware implementation of the YSE is described. The software architecture, including compiler, linker and register-level language translator, Ysetran, architecture, are detailed. © 1983.
G. Ramalingam
Theoretical Computer Science
Chidanand Apté, Fred Damerau, et al.
ACM Transactions on Information Systems (TOIS)
B.K. Boguraev, Mary S. Neff
HICSS 2000
Qing Li, Zhigang Deng, et al.
IEEE T-MI