University of Stirling    STORRE: Stirling Online Research Repository University Circle Images   Research Led, Student Focused  
 

STORRE >
School of Natural Sciences >
Computing Science and Mathematics >
Computing Science and Mathematics Conference Papers and Proceedings >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/630

Appears in Collections:Computing Science and Mathematics Conference Papers and Proceedings
Peer Review Status: Refereed
Author(s): Csopaki, Gyula
Turner, Kenneth J
Contact Email: kjt@cs.stir.ac.uk
Title: Modelling Digital Logic in SDL
Editor(s): Mizuno, Tadanori
Shiratori, Norio
Higashino, Teruo
Togashi, Atsushi
Citation: Csopaki G & Turner KJ (1997) Modelling Digital Logic in SDL In: Mizuno Tadanori, Shiratori Norio, Higashino Teruo, Togashi Atsushi (ed.) Formal Description Techniques and Protocol Specification, Testing and Verification. FORTE X / PSTV XVII '97, Amsterdam: Springer Verlag. FORTE/PSTV'97 - 1997 IFIP TC6/WG6.1 Joint International Conference on Formal Description Techniques (X) for Distributed Systems and Communication Protocols, and PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION (XVII), Osaka, Japan, pp. 367-382.
Issue Date: 1997
Series/Report no.: IFIP International Federation for Information Processing
Conference Name: FORTE/PSTV'97 - 1997 IFIP TC6/WG6.1 Joint International Conference on Formal Description Techniques (X) for Distributed Systems and Communication Protocols, and PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION (XVII)
Conference Location: Osaka, Japan
Abstract: The specification of digital logic in SDL (Specification and Description Language) is investigated. A specification approach is proposed for multi-level descriptions of hardware behaviour and structure. The modelling method exploits features introduced in SDL-92. The approach also deals with the specification, analysis and simulation of timing aspects at any level in the specification of digital logic.
Type: Conference Paper
Status: Post-print (author final draft post-refereeing)
Rights: Published by Springer Verlag. The original publication is available at www.springer.com
URI: http://hdl.handle.net/1893/630
URL: http://www.springer.com/computer/communications/book/978-0-412-82060-1?detailsPage=toc
Affiliation: Budapest University of Technology And Economics
Computing Science - CSM Dept

Files in This Item:

File Description SizeFormat
log-sdl.pdf91.39 kBAdobe PDFView/Open


This item is protected by original copyright

Recommend this item

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.

 

Valid XHTML 1.0! Repository Service Operated by Information Services, University of Stirling
Powered by DSpace Software Copyright © 2002-2010  Duraspace - Feedback