{"id":83459,"date":"2018-03-10T00:07:35","date_gmt":"2018-03-10T00:07:35","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/estrategia-de-validacion-funcional-de-circuitos-digitales-descritos-en-vhdl-sintetizable-basada-en-modelos-de-error\/"},"modified":"2018-03-10T00:07:35","modified_gmt":"2018-03-10T00:07:35","slug":"estrategia-de-validacion-funcional-de-circuitos-digitales-descritos-en-vhdl-sintetizable-basada-en-modelos-de-error","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/fisica\/estrategia-de-validacion-funcional-de-circuitos-digitales-descritos-en-vhdl-sintetizable-basada-en-modelos-de-error\/","title":{"rendered":"Estrategia de validaci\u00f3n funcional de circuitos digitales descritos en vhdl sintetizable basada en modelos de error"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Celia Lopez Ongil <\/strong><\/h2>\n<p>En esta tesis se plantea, como objetivo, obtener la m\u00e1xima calidad en el banco de pruebas para circuitos digitales descritos mediante vhdl sintetizable, equivalente al nivel de transferencia de registros(rtl). En este nivel se aplica el concepto de modelo de error, que representa los errores que puede cometer el dise\u00f1ador durante la descripci\u00f3n del circuito. Este modelo, ya propuesto y validado por otros autores, se aplica a las descripciones vhdl, para determinar si los estimulos funcionales son capaces de detectar los errores de dise\u00f1o. Los bancos de prueba que sean capaces de detectar los errores del modelo vhdl tendran buena calidad, siempre que el modelo de error represente fielmente los errores de dise\u00f1o. En esta tesis, el modelo de error inicial ha sufrido un proceso de formalizaci\u00f3n para que pueda utilizarse con todo tipo de descripciones vhdl sintetizables.  asimismo, se propone un metodo para medir la calidad de su banco de pruebas. el metodo propuesto se apoya en dos pilares fundamentales, que son el modelo de error y la simulacion de errores. La simulaci\u00f3n de errores compara el comportamiento de dise\u00f1o original con copias de este, que contienen errores insertados. Cuando el comportamiento del dise\u00f1o original y de las copias erroneas es diferente, y visible en las salidas del circuito, los errores insertados se detectan. Con la simulaci\u00f3n de errores se obtiene una medida cuantitativa de la calidad del banco de pruebas, llamada cobertura de errores. la cobertura de erroes indica el grado de comprobaci\u00f3n que realiza dicho banco de pruebas sobre la funcionalidad del circuito. Asimismo, se genera una lista de errores no detectados, que indica al dise\u00f1ador las zonas del codigo que no han sido suficientemente probadas.  para la realizaci\u00f3n de la simulaci\u00f3n de errores en vhdl, se han estudiado las tecnicas de simulaci\u00f3n de fallos, con el fin de adaptar las mejores estrategias de esta a la simulaci\u00f3n de errores. Se han<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Estrategia de validaci\u00f3n funcional de circuitos digitales descritos en vhdl sintetizable basada en modelos de error<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Estrategia de validaci\u00f3n funcional de circuitos digitales descritos en vhdl sintetizable basada en modelos de error <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Celia Lopez Ongil <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 21\/02\/2000<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li>Teresa Riesgo Alcaide<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: salvador Bracho del pino <\/li>\n<li>Antonio Nu\u00f1ez ordo\u00f1ez (vocal)<\/li>\n<li>Emilio Ol\u00edas ruiz (vocal)<\/li>\n<li>Antonio  Jes\u00fas Torralba silgado (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Celia Lopez Ongil En esta tesis se plantea, como objetivo, obtener la m\u00e1xima calidad en el banco [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[332,8991,9195,2675,199,16008,3706],"tags":[36404,15947,136649,47300,8996,43236],"class_list":["post-83459","post","type-post","status-publish","format-standard","hentry","category-ciencias-tecnologicas","category-circuitos-integrados","category-diseno-de-circuitos","category-electronica","category-fisica","category-politecnica-de-madrid","category-tecnologia-electronica","tag-antonio-jesus-torralba-silgado","tag-antonio-nunez-ordonez","tag-celia-lopez-ongil","tag-emilio-olias-ruiz","tag-salvador-bracho-del-pino","tag-teresa-riesgo-alcaide"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/83459","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=83459"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/83459\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=83459"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=83459"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=83459"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}