{"id":114505,"date":"2013-12-07T00:00:00","date_gmt":"2013-12-07T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/a-methodology-and-framework-to-assist-in-the-architecture-design-and-functional-verification-of-complex-electronics-systems\/"},"modified":"2013-12-07T00:00:00","modified_gmt":"2013-12-07T00:00:00","slug":"a-methodology-and-framework-to-assist-in-the-architecture-design-and-functional-verification-of-complex-electronics-systems","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/diseno-de-circuitos\/a-methodology-and-framework-to-assist-in-the-architecture-design-and-functional-verification-of-complex-electronics-systems\/","title":{"rendered":"A methodology and framework to assist in the architecture design and functional verification of complex electronics systems"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Koldo Tomasena Arriaga <\/strong><\/h2>\n<p>La complejidad de los sistemas electr\u00f3nicos modernos est\u00e1 aumentando para satisfacer las necesidades del mercado. Sin embargo, las herramientas de dise\u00f1o electr\u00f3nico actuales no pueden gestionar este crecimiento de la complejidad de manera eficiente. Esta p\u00e9rdida de productividad se conoce como brecha de dise\u00f1o.  para hacer frente a la brecha de dise\u00f1o, se requieren herramientas y lenguajes de dise\u00f1o electr\u00f3nico a nivel de sistema para permitir la creaci\u00f3n de especificaciones ejecutables de alto nivel de abstracci\u00f3n. En este contexto, el lenguaje systemc se ha convertido en el est\u00e1ndar de facto para crear modelos ejecutables de sistemas electr\u00f3nicos. Systemc proporciona recursos para modelar sistemas electr\u00f3nicos en una amplia gama de niveles de abstracci\u00f3n, desde el nivel rtl hasta el modelado a nivel de transacciones (tlm). Tlm se ha propuesto para la definici\u00f3n temprana de sistemas, exploraci\u00f3n de arquitecturas, el desarrollo de software y el dise\u00f1o de plataformas.  las soluciones basadas en systemc-tlm resuelven parcialmente la brecha de dise\u00f1o. Sin embargo, como se indica en los \u00faltimos informes publicados por la international technology roadmap para semiconductores (itrs), la brecha de dise\u00f1o sigue siendo un problema sin resolver. Recientemente, se ha propuesto la metodolog\u00eda de dise\u00f1o basado en modelos (mdd) para aumentar el nivel de abstracci\u00f3n por encima de tlm y automatizar los procesos que producen especificaciones ejecutables de los sistemas electr\u00f3nicos. Mdd captura toda la informaci\u00f3n del sistema que est\u00e1 siendo dise\u00f1ado en modelos visuales.  el objetivo principal de este trabajo de investigaci\u00f3n es proponer una metodolog\u00eda y un entorno para ayudar en el dise\u00f1o de la arquitectura y en la verificaci\u00f3n funcional de sistemas electr\u00f3nicos descritos en systemc. Este trabajo hace varias contribuciones a los procesos de dise\u00f1o y verificaci\u00f3n de sistemas electr\u00f3nicos modernos.  en primer lugar, se ha propuesto una metodolog\u00eda y un entorno para aplicar las t\u00e9cnicas de verificaci\u00f3n basada en aserciones (abv) a los modelos de sistema systemc-tlm de alto nivel de abstracci\u00f3n. Adem\u00e1s, se ha proporcionado un lenguaje de especificaci\u00f3n de aserciones (asl) flexible para permitir a los ingenieros de verificaci\u00f3n escribir con facilidad aserciones para sistemas electr\u00f3nicos.  a continuaci\u00f3n, se ha propuesto un entorno integrar algoritmos de matlab en un modelo systemc de forma simple y eficiente. Esta propuesta permite la construcci\u00f3n de modelos ejecutables, donde la arquitectura se describe en systemc tlm-y los algoritmos se describen en matlab.  por \u00faltimo, se han propuesto una metodolog\u00eda y un entorno de modelado basados en mdd con el fin de traducir los sistemas electr\u00f3nicos descritos mediante sysml en c\u00f3digo ejecutable systemc-tlm. El objetivo principal de esta soluci\u00f3n mdd es definir formalmente la sem\u00e1ntica de los diagramas de estado y diagramas de actividad de sysml utilizando como modelos de computaci\u00f3n (moc) las m\u00e1quinas de estado finitos (fsm) y los flujos de datos s\u00edncronos (sdf), respectivamente. Una nueva herramienta llamada assyst implementa la formalizaci\u00f3n propuesta y automatiza la generaci\u00f3n de c\u00f3digo fuente systemc-tlm.  las metodolog\u00edas y herramientas propuestas se han aplicado con \u00e9xito en el proyecto europeo confidence, que ha sido dirigido y coordinado por el centro de estudios e investigaciones t\u00e9cnicas de gipuzkoa (ceit). El proyecto confidence  ha sido empleado para validar las aportaciones de esta tesis y demostrar sus beneficios.  en este trabajo de investigaci\u00f3n se ha creado un entorno de desarrollo integrado, potente y flexible con el fin de simular y verificar los sistemas electr\u00f3nicos a partir de un nivel de abstracci\u00f3n muy alto. Gracias a las contribuciones propuestas, el dise\u00f1o de la arquitectura del sistema, el ajuste de la algoritmia y la verificaci\u00f3n funcional se pueden realizar de manera eficiente en etapas tempranas del proceso de desarrollo.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>A methodology and framework to assist in the architecture design and functional verification of complex electronics systems<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 A methodology and framework to assist in the architecture design and functional verification of complex electronics systems <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Koldo Tomasena Arriaga <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Navarra<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 12\/07\/2013<\/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>Igone Velez Isasmendi<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: andres Garcia alonso montoya <\/li>\n<li>jon Legarda macon (vocal)<\/li>\n<li>Miguel Soto rodr\u00edguez (vocal)<\/li>\n<li>Francisco Javierdel Pino suarez (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Koldo Tomasena Arriaga La complejidad de los sistemas electr\u00f3nicos modernos est\u00e1 aumentando para satisfacer las necesidades del [&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":[9195,17749],"tags":[48766,55191,137334,154150,226950,215783],"class_list":["post-114505","post","type-post","status-publish","format-standard","hentry","category-diseno-de-circuitos","category-navarra","tag-andres-garcia-alonso-montoya","tag-francisco-javierdel-pino-suarez","tag-igone-velez-isasmendi","tag-jon-legarda-macon","tag-koldo-tomasena-arriaga","tag-miguel-soto-rodriguez"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/114505","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=114505"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/114505\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=114505"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=114505"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=114505"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}