Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/1015
Appears in Collections:Computing Science and Mathematics Conference Papers and Proceedings
Peer Review Status: Refereed
Authors: Turner, Kenneth J
Sinnott, Richard
Contact Email: kjt@cs.stir.ac.uk
Title: DILL: Specifying digital logic in LOTOS
Editors: Tenney, Richard L
Amer, Paul D
Uyar, M Ümit
Citation: Turner KJ & Sinnott R (1994) DILL: Specifying digital logic in LOTOS, Tenney Richard L, Amer Paul D, Uyar M Ümit (ed.) 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, FORTE '93: IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, Boston, MA, USA, Amsterdam: North-Holland Publishing, now Elsevier, pp. 71-86.
Issue Date: 1994
Series/Report no.: IFIP Transactions
Conference Name: FORTE '93: IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques
Conference Location: Boston, MA, USA
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.
Type: Conference Paper
Status: Post-print (author final draft post-refereeing)
Rights: Published in 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 by North-Holland Publishing, now Elsevier. Copyright: 1993 North-Holland Publishing, now Elsevier.
URI: http://hdl.handle.net/1893/1015
URL: http://www.informatik.uni-trier.de/~ley/db/conf/forte/forte1993.html
Affiliation: Computing Science - CSM Dept
University of Glasgow

Files in This Item:
File Description SizeFormat 
dill.pdf131.62 kBAdobe PDFView/Open


This item is protected by original copyright



Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

If you believe that any material held in STORRE infringes copyright, please contact library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.