{"id":38485,"date":"2018-03-09T09:38:04","date_gmt":"2018-03-09T09:38:04","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/diseno-de-un-atpg-para-circuitos-secuenciales-asincronos-mediante-un-metodo-algebraico\/"},"modified":"2018-03-09T09:38:04","modified_gmt":"2018-03-09T09:38:04","slug":"diseno-de-un-atpg-para-circuitos-secuenciales-asincronos-mediante-un-metodo-algebraico","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/ciencias-tecnologicas\/diseno-de-un-atpg-para-circuitos-secuenciales-asincronos-mediante-un-metodo-algebraico\/","title":{"rendered":"Dise\u00f1o de un atpg para circuitos secuenciales asincronos mediante un metodo algebraico."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Ricardo Angel Paredes Diaz <\/strong><\/h2>\n<p>Se presenta la extensi\u00f3n de un m\u00e9todo algebraico-booleano de generaci\u00f3n de patrones de test para circuitos booleanos que permite su aplicaci\u00f3n al tests de circuitos secuenciales as\u00edncronos. Para ello se emple\u00f3 una t\u00e9cnica de estructura combinacional iterativa y se extendieron los procedimientos fundamentales del algoritmo combinacional de referencia, tales como los procedimientos tabulares de resoluci\u00f3n de ecuaciones booleanas para su ejecuci\u00f3n m\u00e1s eficiente. En ese proceso de extensi\u00f3n se ha tenido en cuenta la dependencia de las secuencias de vectores con respecto al tiempo, adem\u00e1s de la extensi\u00f3n de los procedimientos modularizados en puntos de fan-out.  las secuencias de entradas se determinan a trav\u00e9s de un procedimiento iterativo de justificaci\u00f3n de niveles de tiempo inverso, en los que hay un encadenamiento entre la parte combinacional del t\u00e9rmino. Este encadenamiento se resuelve en el nivel de tiempo actual, y la parte secuencial, que se justifica en un sucesivo nivel, donde se analiza similarmente en parte combinacional y secuencial iterativamente. Se introduce como mecanismo de obtenci\u00f3n de soluci\u00f3n y para evitar an\u00e1lisis en lazos infinitos, la eliminaci\u00f3n de las variables de estados iterativas y de la variable con falta. Esta \u00faltima como iterativa en el paso de sensibilizaci\u00f3n y por reglas de paridad de inversi\u00f3n en el paso de propagaci\u00f3n.  el algoritmo ejecuta los pasos algebraicos de sensibilizaci\u00f3n y de propagaci\u00f3n, resolviendo las ecuaciones tabularmente, y el paso de test como la intersecci\u00f3n tabular de soluciones de cubos de sensibilizaci\u00f3n y propagaci\u00f3n. Se establecen categor\u00edas de prioridad en la obtenci\u00f3n de los tests en un an\u00e1lisis de selecci\u00f3n de soluciones.  como culminaci\u00f3n, se implement\u00f3 el atpg llamado tesea.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Dise\u00f1o de un atpg para circuitos secuenciales asincronos mediante un metodo algebraico.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Dise\u00f1o de un atpg para circuitos secuenciales asincronos mediante un metodo algebraico. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Ricardo Angel Paredes Diaz <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Granada<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 20\/07\/1998<\/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>Antonio Lloris Ruiz<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: pedro Cartujo est\u00e9banez <\/li>\n<li>Antonio Vigueras campuzano (vocal)<\/li>\n<li>Francisco Jos\u00e9 Pelayo valle (vocal)<\/li>\n<li>ram\u00f3n Ruiz merino (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Ricardo Angel Paredes Diaz Se presenta la extensi\u00f3n de un m\u00e9todo algebraico-booleano de generaci\u00f3n de patrones de [&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":[4810,332,7833,2535],"tags":[25156,25157,35905,22246,2532,99914],"class_list":["post-38485","post","type-post","status-publish","format-standard","hentry","category-arquitectura-de-ordenadores","category-ciencias-tecnologicas","category-diseno-logico","category-tecnologia-de-los-ordenadores","tag-antonio-lloris-ruiz","tag-antonio-vigueras-campuzano","tag-francisco-jose-pelayo-valle","tag-pedro-cartujo-estebanez","tag-ramon-ruiz-merino","tag-ricardo-angel-paredes-diaz"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/38485","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=38485"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/38485\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=38485"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=38485"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=38485"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}