Conference Paper (published)
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 | |
| Publisher | North-Holland Publishing, now Elsevier |
| Publisher URL | |
| 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