A portable logic simulation system for development of FLATS machine
This paper describes a portable logic simulation system PLS, which was used for development of FLATS — a formula manipulation machine consisting of more than 33,000 ECL and partly TTL MSI chips. The themes of this paper are practice and experience in developing such a large machine as FLATS in the research laboratories of the university and the institute. PLS supports two simulation languages, HDL (Hardware Description Language) and SCL (Simulation Control Language). Register-transfer and/or gate level design specifications are written in HDL. SCL describes control information about the simulation. Both descriptions are translated into Fortran and are linked to execute the simulation. The PLS system is implemented mainly in Fortran. Fortran was used for portability and efficiency. PLS checks for several types of illegal specifications globally at compile time and executes one-pass simulation; thereby the execution time is considerably shortened. The system covers a wide area of application and its conciseness facilitates expressing, organizing, and in general, dealing with large digital systems. In the development of FLATS, PLS is also used as a maintenance tool which generates test data to make it possible to compare the simulation results with the status of the actual hardware system. This paper also describes a preprocessor RATFOR-LS, which is an extension of RATFOR in bit-manipulating operations to facilitate describing and simulating computer hardware.
Key wordsLogic simulation Fortran Efficiency Portability RATFOR
Unable to display preview. Download preview PDF.
- Barbacci, M. R., ”Instruction Set Processor Specifications (ISPS): The Notation and Its Applications,” IEEE Transactions of Computers, C-30, No.1, 24–40 (1981).Google Scholar
- Duley, J. R. and Dietmeyer, D. L., ”A Digital System Design Language (DDL),” IEEE Transactions of Computers, C-17, No.9, 850–861 (1968).Google Scholar
- Goto E. et al, ”Design of a Lisp Machine — FLATS,” Conference Record of the 1982 ACM Symposium on Lisp and Functional Programming, Pittsburgh, 208–215 (1982).Google Scholar
- Kawato, N., Saito, T. and Uehara, T., ”Computer Aided Design System Based upon Hardware Description Language DDL” (In Japanese), Journal of Information Processing, 21, No.1, 67–75 (1980).Google Scholar
- Kernighan, B., ”RATFOR — A Preprocessor for a Rational Fortran', Software — Practice and Experience, 5, No. 4, 395–406 (1975).Google Scholar
- Scheff, B. H. and Young, S. P., ”Gate-Level Logic Simulation” in Design Automation of Digital Systems (M. A. Breuer ed.), Prentice-Hall, Englewood Cliffs, 101–172, 1972.Google Scholar
- Shimada, T., Hiraki K. and Nishida, K., ”An Architecture of a Data Flow Computer Sigma-1 for Scientific Computation,” Proceedings of Symposium on Electronic Computer, EC83-20, No. 78, 47–53 (1983).Google Scholar
- Wilcox, P., ”Digital Logic Simulation of the Gate and Functional Level,” Proceedings of the 16th DA Conference, 561–567 (1979).Google Scholar