A Formal Language for Describing Machine Logic, Timing, and Sequencing (LOTIS)

@article{Schlaeppi1964AFL,
  title={A Formal Language for Describing Machine Logic, Timing, and Sequencing (LOTIS)},
  author={Hans P. Schlaeppi},
  journal={IEEE Trans. Electronic Computers},
  year={1964},
  volume={13},
  pages={439-448}
}
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… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 12 CITATIONS