ABSTRACT
Logic simulation programs have become a standard part1 of digital design aid systems. This paper describes a Synchronous Logic Simulator which is part of the design aid system presently being used by the BOEING Aerospace Division in Seattle, Washington. This program is currently running on an SRU 1108 computer system and is used, primarily, to aid in the development and debugging of new designs and to provide error free data for component selection and wiring programs.
The first part of the paper contains a general discussion of the Synchronous Logic Simulator with emphasis on the program's capabilities and the type of data provided by the logic designer. The remaining sections describe how the simulator is organized and explain the principle algorithms utilized by the program.
- 1.G. N. Stockwell, "Computer Logic Testing by Simulation", IRE Transactions on Military Electronics, pp. 275-282, July 1962.Google Scholar
- 2.R. E. Wolfe, "Logical Simulation Techniques Using the IBM 709", AIEE Conference Paper CP-603.Google Scholar
- 3.R. M. McClure, "A Programming Language for Simulating Digital Systems", Journal ACM, Vol. 12, pp. 14-22, January 1965. Google ScholarDigital Library
- 4.T. A. Connolly, "Automatic System and logical Design Techniques for the RW-33 Computer System", 1960 IRE Conv. Record, Part II, pp. 124-132.Google Scholar
- 5.M. A. Breuer, "General Survey of Design Automation of Digital Computers", Proceedings of the IEEE, Vol. 54, pp. 1708-1721, December 1966.Google ScholarCross Ref
Index Terms
- Synchronous Logic Simulator
Recommendations
Team Logic and Second-Order Logic
Logic, Language, Information and ComputationTeam logic is a new logic, introduced by Väänänen [12], extending dependence logic by classical negation. Dependence logic adds to first-order logic atomic formulas expressing functional dependence of variables on each other. It is known that on the ...
Constructive linear-time temporal logic: Proof systems and Kripke semantics
In this paper we study a version of constructive linear-time temporal logic (LTL) with the ''next'' temporal operator. The logic is originally due to Davies, who has shown that the proof system of the logic corresponds to a type system for binding-time ...
On Modal Grzegorczyk Logic
Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej GrzegorczykIn 1964-68 Andrzej Grzegorczyk investigated relational and topological semantics for the intuitionistic logic [15]-[18] . In this connection, following to McKinsey and Tarski, he also considered a semantics for modal logics. It is well known that there ...
Comments