Conference Proceeding

DILL: Specifying digital logic in LOTOS

Details

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

StatusPublished
Title of seriesIFIP Transactions
Publication date31/12/1994
URLhttp://hdl.handle.net/1893/1015
PublisherNorth-Holland Publishing, now Elsevier
Publisher URLhttp://www.informatik.uni-trier.de/…e/forte1993.html
Place of publicationAmsterdam
ISBN0-444-81773-5
ConferenceFORTE '93: IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques
Conference locationBoston, MA, USA
Dates

People (1)

Professor KEN Turner

Professor KEN Turner

Emeritus Professor, Computing Science