Please use this identifier to cite or link to this item:
Title: A practical high-level methodology case study: Implementation of an ATM over SDH transceiver from the system specification
Authors: Arteaga, R.
Tobajas, F. 
Esper-Chain, R. 
De Armas Sosa, Valentín 
Sarmiento, R. 
UNESCO Clasification: 3307 Tecnología electrónica
Keywords: Verification
Theorem prover
Model checking
Issue Date: 2003
Journal: Proceedings of SPIE - The International Society for Optical Engineering 
Conference: Conference on VLSI Circuits and Systems 
VLSI Circuits and Systems 
Abstract: A methodology is proposed to obtain a full verified system from an architecture specification. In order to validate this methodology, a system specification document is used as starting point. Thus, this specified system is partitioned in average size modules and then each module is described itself in design specification documents, which are the basis of their implementation using Hardware Description Languages (HDL). The obtained results show that a complex digital system is developed guaranteeing the specifications, and, on the other hand, the optimization of the human resources and the effort of engineering.
ISSN: 0277-786X
DOI: 10.1117/12.498776
Source: Proceedings of SPIE - The International Society for Optical Engineering[ISSN 0277-786X],v. 5117, p. 116-125
Appears in Collections:Actas de congresos
Show full item record

Google ScholarTM




Export metadata

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