A Formal Language for Describing Machine Logic, Timing, and Sequencing (LOTIS)
- 1 August 1964
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Electronic Computers
- Vol. EC-13 (4), 439-448
- https://doi.org/10.1109/pgec.1964.263846
Abstract
An informal description of the LOTIS language is presented. LOTIS is intended for formally describing the logical structure, the sequencing, and the timing of digital machines. An effort has been made to produce a hardware notation that is convenient and lucid, precise and flexible. In a LOTIS machine description, every linguistic constituent corresponds to a unique machine element. Timing can be specified in the synchronous or asynchronous mode or in any combination of both. Autonomous control units have a notational counterpart by which, concurrency of several machine sequences, timesharing of facilities by several control units, and interlocks, can be concisely expressed. A machine description has a hierarchical structure with an arbitrary number of levels; this permits it to be readily segmented. Depending on the focus of interest, the level of descriptive detail can be varied over the different segments.Keywords
This publication has 3 references indexed in Scilit:
- A programming languagePublished by Association for Computing Machinery (ACM) ,1962
- Report on the algorithmic language ALGOL 60Communications of the ACM, 1960
- Micro-programming and the design of the control circuits in an electronic digital computerMathematical Proceedings of the Cambridge Philosophical Society, 1953