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 |
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.