Identificador persistente para citar o vincular este elemento: http://hdl.handle.net/10553/45062
Título: A practical high-level methodology case study: Implementation of an ATM over SDH transceiver from the system specification
Autores/as: Arteaga, R.
Tobajas, F. 
Esper-Chain, R. 
De Armas Sosa, Valentín 
Sarmiento, R. 
Clasificación UNESCO: 3307 Tecnología electrónica
Palabras clave: Verification
Theorem prover
Model checking
Fecha de publicación: 2003
Publicación seriada: Proceedings of SPIE - The International Society for Optical Engineering 
Conferencia: Conference on VLSI Circuits and Systems 
VLSI Circuits and Systems 
Resumen: 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.
URI: http://hdl.handle.net/10553/45062
ISSN: 0277-786X
DOI: 10.1117/12.498776
Fuente: Proceedings of SPIE - The International Society for Optical Engineering[ISSN 0277-786X],v. 5117, p. 116-125
Colección:Actas de congresos
Vista completa

Visitas

90
actualizado el 24-ago-2024

Google ScholarTM

Verifica

Altmetric


Comparte



Exporta metadatos



Los elementos en ULPGC accedaCRIS están protegidos por derechos de autor con todos los derechos reservados, a menos que se indique lo contrario.