Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014
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.
Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014
A. Gupta, R. Gross, et al.
SPIE Advances in Semiconductors and Superconductors 1990
Ehud Altman, Kenneth R. Brown, et al.
PRX Quantum
Anupam Gupta, Viswanath Nagarajan, et al.
Operations Research