By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Schlaeppi, H.P. ; IBM Research Laboratory, Rueschlikon, Zurich, Switzerland.

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.

Published in:

Electronic Computers, IEEE Transactions on  (Volume:EC-13 ,  Issue: 4 )