A portable logic simulation system for development of FLATS machine

  • Kentaro Shimizu
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 220)


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 words

Logic simulation Fortran Efficiency Portability RATFOR 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    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
  2. [2]
    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
  3. [3]
    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
  4. [4]
    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
  5. [5]
    Kernighan, B., ”RATFOR — A Preprocessor for a Rational Fortran', Software — Practice and Experience, 5, No. 4, 395–406 (1975).Google Scholar
  6. [6]
    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
  7. [7]
    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
  8. [8]
    Wilcox, P., ”Digital Logic Simulation of the Gate and Functional Level,” Proceedings of the 16th DA Conference, 561–567 (1979).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Kentaro Shimizu
    • 1
  1. 1.Department of Information ScienceUniversity of TokyoTokyoJapan

Personalised recommendations