{"id":55991,"date":"2006-12-12T00:00:00","date_gmt":"2006-12-12T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/tecnicas-de-cosimulacion-hw-sw-para-el-diseno-y-verificacion-de-sistemas-csoc\/"},"modified":"2006-12-12T00:00:00","modified_gmt":"2006-12-12T00:00:00","slug":"tecnicas-de-cosimulacion-hw-sw-para-el-diseno-y-verificacion-de-sistemas-csoc","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/tecnologia-electronica\/tecnicas-de-cosimulacion-hw-sw-para-el-diseno-y-verificacion-de-sistemas-csoc\/","title":{"rendered":"Tecnicas de cosimulacion hw\/sw para el dise\u00f1o y verificacion de sistemas csoc"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Raul Mateos Gil <\/strong><\/h2>\n<p>Esta tesis presenta dos soluciones para el dise\u00f1o y verificaci\u00f3n de sistemas csoc mediante t\u00e9cnicas de cosimulaci\u00f3n  hardware\/software  tom\u00e1ndose como caso pr\u00e1ctico de aplicaci\u00f3n de las propuestas realizadas  el desarrollo de csoc basados en el procesador microblaze. La primera de las soluciones consiste en un entorno de cosimulaci\u00f3n que permite la simulaci\u00f3n de sistemas csoc cuyos componentes se modelan mediante descripciones rtl, trat\u00e1ndose por tanto de una soluci\u00f3n destinada a la verificaci\u00f3n de la implementaci\u00f3n final de este tipo de sistemas.   se ha realizado un estudio anal\u00edtico que demuestra que, de las dos alternativas que puede tomar la estructura interna de un entorno de cosimulaci\u00f3n (monoproceso o multiproceso), la estructura monoproceso es la m\u00e1s eficiente en t\u00e9rminos de velocidad de simulaci\u00f3n. La utilizaci\u00f3n de esta estructura ha obligado a resolver el problema relacionado con el uso simultaneo de las posibilidades de depuraci\u00f3n del simulador hardware y los simuladores de procesador, aspecto tradicionalmente esgrimido para utilizar estructuras multiproceso que son menos eficientes.   dado que el modelado del procesador es un aspecto clave de todo entorno de cosimulaci\u00f3n se ha prestado especial atenci\u00f3n al simulador de procesador, desarroll\u00e1ndose tres versiones con el objetivo de obtener un equilibrio entre velocidad, flexibilidad y precisi\u00f3n. En las dos primeras se utilizan t\u00e9cnicas de simulaci\u00f3n compilada din\u00e1mica basadas en cach\u00e9 de simulaci\u00f3n, mientras que en la tercera se han aplicado t\u00e9cnicas de traducci\u00f3n binaria que mejoran dr\u00e1sticamente la velocidad de las dos anteriores, aunque solo garantiza la precisi\u00f3n de ciclo bajo determinadas condiciones. La integraci\u00f3n con el entorno de las distintas variantes se realiza de una forma eficiente, aport\u00e1ndose adem\u00e1s soluciones para reducir las penalizaciones debidas a la simulaci\u00f3n de los ciclos bus generados por el modelo del procesador.   la segunda delas soluciones propuestas complementa a la anterior y en ella se utilizan modelos tlm (no sintetizables) para modelar la comunicaci\u00f3n entre los componentes, aumentando la velocidad respecto a la soluci\u00f3n rtl y facilitando su aplicaci\u00f3n a la realizaci\u00f3n de la exploraci\u00f3n del espacio de dise\u00f1o. El estudio realizado sobre los aspectos que influyen en la velocidad de simulaci\u00f3n sirve como base para el desarrollo de modelos tlm con precisi\u00f3n de ciclos de los buses utilizados en los sistemas basados en mciroblaze. Estos modelos se complementan con una serie de herramientas que permiten realizar un an\u00e1lisis cuantitativo de las prestaciones de cada una de las vicariantes arquitecturales que se eval\u00faan durante la explotaci\u00f3n del espacio de dise\u00f1o.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Tecnicas de cosimulacion hw\/sw para el dise\u00f1o y verificacion de sistemas csoc<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Tecnicas de cosimulacion hw\/sw para el dise\u00f1o y verificacion de sistemas csoc <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Raul Mateos Gil <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Alcal\u00e1<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 12\/12\/2006<\/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>Jos\u00e9 Luis L\u00e1zaro Galilea<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Jes\u00fas Ure\u00f1a ure\u00f1a <\/li>\n<li>Carlos Fritsch yusta (vocal)<\/li>\n<li>Mar\u00eda Luisa L\u00f3pez vallejo (vocal)<\/li>\n<li>eduardo Boemo scalvinoni (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Raul Mateos Gil Esta tesis presenta dos soluciones para el dise\u00f1o y verificaci\u00f3n de sistemas csoc mediante [&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":[17426,8991,13227,3706],"tags":[83016,36402,76808,97954,68127,123685],"class_list":["post-55991","post","type-post","status-publish","format-standard","hentry","category-alcala","category-circuitos-integrados","category-simulacion","category-tecnologia-electronica","tag-carlos-fritsch-yusta","tag-eduardo-boemo-scalvinoni","tag-jesus-urena-urena","tag-jose-luis-lazaro-galilea","tag-maria-luisa-lopez-vallejo","tag-raul-mateos-gil"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/55991","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=55991"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/55991\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=55991"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=55991"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=55991"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}