Título :	Formal System Verification : State-of the-Art and Future Trends
Tipo de documento:	documento electrónico
Autores:	Drechsler, Rolf,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2018
Número de páginas:	XVI, 182 p. 71 ilustraciones, 49 ilustraciones en color.
ISBN/ISSN/DL:	978-3-319-57685-5
Nota general:	Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave:	Circuitos electrónicos  Microprocesadores  Arquitectura de Computadores  Electrónica  Circuitos y sistemas electrónicos  Arquitecturas de procesador  Electrónica y Microelectrónica  Instrumentación
Índice Dewey:	6.213.815
Resumen:	Este libro proporciona a los lectores una introducción completa a la verificación formal de hardware y software. Expertos líderes mundiales en el ámbito de las técnicas de prueba formal muestran los últimos desarrollos, desde las descripciones a nivel del sistema electrónico (ESL) hasta el nivel de transferencia de registros (RTL). Los autores demuestran en diferentes capas de abstracción cómo los métodos formales pueden ayudar a garantizar la corrección funcional. La cobertura incluye los últimos resultados de investigaciones académicas, así como descripciones de herramientas industriales y estudios de casos. Proporciona los últimos resultados sobre métodos formales a lo largo de todo el flujo de diseño; Cubre diferentes capas de abstracción, desde ESL hasta RTL; Aborda la verificación formal en contextos tanto digitales como analógicos; Demuestra técnicas en el uso industrial actual.
Nota de contenido:	Formal Techniques for Verification and Coverage Analysis of Analog Systems -- Verification of Incomplete Designs -- Probabilistic Model Checking: Advances and Applications -- Software in a Hardware View -- Formal Verification - The Industrial Perspective.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

Formal System Verification : State-of the-Art and Future Trends [documento electrónico] / Drechsler, Rolf,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - XVI, 182 p. 71 ilustraciones, 49 ilustraciones en color.
ISBN : 978-3-319-57685-5
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.

Palabras clave:	Circuitos electrónicos  Microprocesadores  Arquitectura de Computadores  Electrónica  Circuitos y sistemas electrónicos  Arquitecturas de procesador  Electrónica y Microelectrónica  Instrumentación
Índice Dewey:	6.213.815
Resumen:	Este libro proporciona a los lectores una introducción completa a la verificación formal de hardware y software. Expertos líderes mundiales en el ámbito de las técnicas de prueba formal muestran los últimos desarrollos, desde las descripciones a nivel del sistema electrónico (ESL) hasta el nivel de transferencia de registros (RTL). Los autores demuestran en diferentes capas de abstracción cómo los métodos formales pueden ayudar a garantizar la corrección funcional. La cobertura incluye los últimos resultados de investigaciones académicas, así como descripciones de herramientas industriales y estudios de casos. Proporciona los últimos resultados sobre métodos formales a lo largo de todo el flujo de diseño; Cubre diferentes capas de abstracción, desde ESL hasta RTL; Aborda la verificación formal en contextos tanto digitales como analógicos; Demuestra técnicas en el uso industrial actual.
Nota de contenido:	Formal Techniques for Verification and Coverage Analysis of Analog Systems -- Verification of Incomplete Designs -- Probabilistic Model Checking: Advances and Applications -- Software in a Hardware View -- Formal Verification - The Industrial Perspective.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i