DILL: Specifying digital logic in LOTOS

Citation

Turner KJ & Sinnott R (1994) DILL: Specifying digital logic in LOTOS. In: Tenney RL, Amer PD & Uyar MÜ (eds.) Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26 - 29 October, 1993. IFIP Transactions. FORTE '93: IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, Boston, MA, USA, 26.10.1993-29.10.1993. Amsterdam: North-Holland Publishing, now Elsevier, pp. 71-86. http://www.informatik.uni-trier.de/~ley/db/conf/forte/forte1993.html

Abstract
As a relatively new application area for LOTOS (Language Of Temporal Ordering Specification), the specification of digital logic is investigated. A specification approach is evolved and justified, illustrated with basic logic gates and the larger example of a keyboard controller. The construction and validation of the digital component library are discussed, along with a retrieval tool that allows access to the library.

Keywords
; LOTOS (Computer program language); Computer architecture; Computer animation; Object-oriented databases

People

Professor KEN Turner

Emeritus Professor, Computing Science