Conference Proceeding
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
Status | Published |
---|---|
Title of series | IFIP Transactions |
Publication date | 31/12/1994 |
URL | http://hdl.handle.net/1893/1015 |
Publisher | North-Holland Publishing, now Elsevier |
Publisher URL | http://www.informatik.uni-trier.de/…e/forte1993.html |
Place of publication | Amsterdam |
ISBN | 0-444-81773-5 |
Conference | FORTE '93: IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques |
Conference location | Boston, MA, USA |
Dates | – |
People (1)
Emeritus Professor, Computing Science