Abstract
Circuits, especially logic circuits, are highly concurrent structures: signals flow along many parallel paths at once. This “native” concurrency, a function of both circuit size and topology, can be exploited in simulating these circuits on parallel machines. Simulation efficiency is affected by machine, language, and simulator implementation parameters like cycle speed, parallelism overhead, and partitioning of the circuit within the simulator, as well as by the amount of native concurrency. The experimental logic simulatorconsim, written in Multilisp and implemented on a 34 element shared-memory multiprocessor, was used to investigate these issues.
Similar content being viewed by others
References
R. H. Halstead, Multilisp: A Language for Concurrent Symbolic Computation,ACM Transactions on Programming Languages and Systems, (October 1985).
R. H. Halstead, T. Anderson, R. Osborne, and T. Sterling, Concert: Design of a Multiprocessor Development System,13th Annual Symposium on Computer Architecture, Tokyo, (June 1986).
J. M. Arnold and C. J. Terman, A Multiprocessor Implementation of a Logic-level Timing Simulator,Proceedings of the ICCAD, (November 1985).
R. H. Halstead, An Assessment of Multilisp: Lessons from Experience,International Journal of Parallel Programming, (December 1986).
S. Kravitz and R. Rutenbar, Placement by Simulated Annealing on a Multiprocessor,IEEE Transactions on CAD, (July 1987).
P. Nuth, Communication Patterns in a Symbolic Multiprocessor, M.I.T. Lab for Computer Science TR-395, (June 1987).
D. M. Webber, and A. L. Sangiovanni-Vincentelli, Circuit Simulation on the Connection Machine,Proceedings of the 24th Design Automation Conference, (1987).
L. Shanbeck and R. Norin, QSPICE: An Application of Array Processors to CAD Simulation,Proceedings of the ICCAD, (1983).
P. F. McGehearty and E. J. Krall, Execution of Common Lisp Programs in a Parallel Environment, inParallel Computation and Computers for Artificial Intelligence, Kluwer Academic Publishers, (1987).
H. Abelson and G. Sussman,Structure and Interpretation of Computer Programs, M.I.T. Press, Cambridge, Mass., (1984).
S. Gray, Using Futures to Exploit Parallelism in Lisp, S.M. Dissertation, MIT, (February 1986).
M. E. Glazier and A. P. Ambler, ULTIMATE: A Hardware Logic Simulation Engine,Proceedings of the 21st Design Automation Conference, (June 1984).
T. Anderson, The Design of a Multiprocessor Development System, M.I.T. Lab for Computer Science TR-279 (September 1982).
S. D. Hamm and S. R. Beckerich, VAMOS: Circuit Simulation for a Vector Computer,Proceedings of the ICCAD, (1983).
N. Ishiura,et al., High-Speed Logic Simulation on Vector Processors,IEEE Transactions on CAD, (May 1987).
G. Pfister, The Yorktown Simulation Engine: Introduction,Proceedings of the 19th Design Automation Conference, (June 1980).
S. Takasaki,et al., Block-Level Hardware Logic Simulation Machine,IEEE Transactions on CAD, (January 1987).
T. Blank, A Survey of Hardware Accelerators Used in Computer-Aided Design,IEEE Design and Test of Computers, (August 1984).
R. H. Halstead and T. Fujita, MASA: A Multithreaded Processor Architecture for Parallel Symbolic Computing,15th Annual Symposium on Computer Architecture, Honolulu, (June 1988).
E. Bradley, Logic Simulation on a Multiprocessor, M.I.T. Lab for Computer Science TR-380, (November 1986).
P. Agrawal, Concurrency and Communication in Hardware Simulator,IEEE Transactions on CAD, (October 1986).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bradley, E., Halstead, R.H. Simulating logic circuits: A multiprocessor application. Int J Parallel Prog 16, 305–338 (1987). https://doi.org/10.1007/BF01407939
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01407939