{"id":55329,"date":"2006-03-11T00:00:00","date_gmt":"2006-03-11T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/metodologa%c2%ada-para-la-verificacion-de-sistemas-de-conmutacion-de-paquetes\/"},"modified":"2006-03-11T00:00:00","modified_gmt":"2006-03-11T00:00:00","slug":"metodologa%c2%ada-para-la-verificacion-de-sistemas-de-conmutacion-de-paquetes","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/tecnologia-electronica\/metodologa%c2%ada-para-la-verificacion-de-sistemas-de-conmutacion-de-paquetes\/","title":{"rendered":"Metodolog\u00eda para la verificaci\u00f3n de sistemas de conmutaci\u00f3n de paquetes"},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Sosa Gonz\u00e1lez Carlos Javier <\/strong><\/h2>\n<p>Esta tesis doctoral aporta una metodolog\u00eda y un entorno para la verificaci\u00f3n y validaci\u00f3n de sistemas integrados de \u00faltima generaci\u00f3n, basados en la exploraci\u00f3n del espacio de dise\u00f1o y la generaci\u00f3n guiada mediante diversas m\u00e9tricas de cobertura. el entorno desarrollado en c++ permite comprobar elementos sencillos, como son los m\u00f3dulos de l\u00f3gica combinacional o secuencial, o tan complejos, como un sistema integrado de \u00faltima generaci\u00f3n; bien de forma autom\u00e1tica o especificando casos cr\u00edticos. La metodolog\u00eda y el entorno propuesto, son aplicados a las verificaci\u00f3n de elementos en fase de desarrollo en cualquier nivel y donde existan descripciones hardware y\/o software. con el objeto de reducir el n\u00famero de vectores y el tiempo requerido para comprobar un sistema integrado, el entorno se complementan con diversas t\u00e9cnicas, heur\u00edsticas y deterministas, de generaci\u00f3n de vectores guiados pro m\u00e9tricas de cobertura, basadas en potencia de consumo o ejercitaci\u00f3n de rutas. se provee una metodolog\u00eda eficiente para explorar el espacio de dise\u00f1o del sistema bajo verificaci\u00f3n con el objeto de obtener una estimaci\u00f3n del espacio de dise\u00f1o no s\u00f3lo se obtiene el retardo a anotar en cada funcionalidad, sino que se logra el rango de funcionamiento del conjunto de soluciones circuitales \u00f3ptimas en retardo-\u00e1rea o retardo-potencia de consumo. tanto la metodolog\u00eda presentado  como el entorno que la implementan ha sido utilizados ampliamente en la verificaci\u00f3n de circuitos integrados comerciales y no comerciales. La consecuci\u00f3n de dichos sistemas es una buena garant\u00eda de que el entorno de verificaci\u00f3n funciona correctamente y que la metodolog\u00eda propuesta es pr\u00e1ctica en la verificaci\u00f3n de sistemas de integrados.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Metodolog\u00eda para la verificaci\u00f3n de sistemas de conmutaci\u00f3n de paquetes<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Metodolog\u00eda para la verificaci\u00f3n de sistemas de conmutaci\u00f3n de paquetes <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Sosa Gonz\u00e1lez Carlos Javier <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Palmas de gran canaria<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 03\/11\/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>Juan  Antonio Montiel Nelson<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Antonio N\u00fa\u00f1ez ord\u00f3\u00f1ez <\/li>\n<li> L\u00f3pez l\u00f3pez Juan  Carlos (vocal)<\/li>\n<li>joan Figueras p\u00ed\u00a0mies (vocal)<\/li>\n<li>teresa Riesgo alcaide (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Sosa Gonz\u00e1lez Carlos Javier Esta tesis doctoral aporta una metodolog\u00eda y un entorno para la verificaci\u00f3n y [&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":[16629,3706],"tags":[15947,16760,16758,16761,122245,43236],"class_list":["post-55329","post","type-post","status-publish","format-standard","hentry","category-palmas-de-gran-canaria","category-tecnologia-electronica","tag-antonio-nunez-ordonez","tag-joan-figueras-pi-mies","tag-juan-antonio-montiel-nelson","tag-lopez-lopez-juan-carlos","tag-sosa-gonzalez-carlos-javier","tag-teresa-riesgo-alcaide"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/55329","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=55329"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/55329\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=55329"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=55329"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=55329"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}