STORRE
STORRE: Stirling Online Research Repository
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 T, Shiratori N, Higashino T & Togashi A (eds.) Formal Description Techniques and Protocol Specification, Testing and Verification. FORTE X / PSTV XVII '97. IFIP International Federation for Information Processing. 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, 18.11.1997-21.11.1997. Amsterdam: Springer Verlag, pp. 367-382. http://www.springer.com/computer/communications/book/978-0-412-82060-1?detailsPage=toc |
| Issue Date: | 1997 |
| Date Deposited: | 18-Dec-2008 |
| 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 Dates: | 1997-11-18 - 1997-11-21 |
| 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. |
| Status: | AM - Accepted Manuscript |
| Rights: | Published by Springer Verlag. The original publication is available at www.springer.com |
| URL: | http://www.springer.com/computer/communications/book/978-0-412-82060-1?detailsPage=toc |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| log-sdl.pdf | Fulltext - Accepted Version | 91.39 kB | Adobe PDF | View/Open |
This item is protected by original copyright |
Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved https://creativecommons.org/publicdomain/zero/1.0/
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.