An algebra for logic strength simulation
DAC '83 Proceedings of the 20th Design Automation Conference
The Yorktown Simulation Engine
DAC '82 Proceedings of the 19th Design Automation Conference
A data-driven multiprocessor for switch-level simulation of vlsi circuits
A data-driven multiprocessor for switch-level simulation of vlsi circuits
A Switch-Level Model and Simulator for MOS Digital Systems
IEEE Transactions on Computers
Exploiting parallelism in a switch-level simulation machine
ISCA '86 Proceedings of the 13th annual international symposium on Computer architecture
A hardware switch level simulator for large MOS circuits
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Mapping switch-level simulation onto gate-level hardware accelerators
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Verity—a formal verification program for custom CMOS circuits
IBM Journal of Research and Development - Special issue: IBM CMOS technology
Exploiting parallelism in a switch-level simulation machine
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
| Hi-index | 0.00 |
In this paper I present the algorithms, architecture, and performance of the FAST-1, a special-purpose data-driven computer for switch-level simulation of VLSI circuits. The FAST-1 algorithm computes the same steady state as Bryant's Mossimll algorithm, using a similar network model. The architecture of the simulation machine follows directly from the simulation algorithm and, like the algorithm, is very simple. While the machine has not yet been implemented in hardware, a software-implementation of the proposed architecture has allowed the architecture's performance to be measured in terms of the number of Read-Modify-Write memory cycles required to perform a given simulation. Measurements of circuits ranging in size from a hundred to over 20K transistors indicate that a hardware implementation of the simulation machine will run orders of magnitude faster than software-implemented simulators running on general-purpose computers built using similar technology.