{"id":34492,"date":"1998-01-01T00:00:00","date_gmt":"1998-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/sintesis-formal-de-alto-nivel-por-derivacion-automatica-aspectos-teoricos-metodologicos-y-practicos\/"},"modified":"1998-01-01T00:00:00","modified_gmt":"1998-01-01T00:00:00","slug":"sintesis-formal-de-alto-nivel-por-derivacion-automatica-aspectos-teoricos-metodologicos-y-practicos","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/ciencias-tecnologicas\/sintesis-formal-de-alto-nivel-por-derivacion-automatica-aspectos-teoricos-metodologicos-y-practicos\/","title":{"rendered":"Sintesis formal de alto nivel por derivacion automatica. aspectos teoricos, metodologicos y practicos."},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Mendias Cuadros Jos\u00e9 Manuel <\/strong><\/h2>\n<p>El objetivo de esta investigaci\u00f3n es, por un lado, desarrollar las bases te\u00f3ricas de un c\u00e1lculo formal para la derivaci\u00f3n de circuitos correctos; por otro lado, proponer una metodolog\u00eda para su uso en entornos autom\u00e1ticos de dise\u00f1o microelectr\u00f3nico y, finalmente, realizar un estudio con soporte emp\u00edrico de su aplicabilidad real.  para ello, se propone un lenguaje de especificaci\u00f3n de conductas formal, de amplio espectro y f\u00e1cilmente manipulable; se presenta un c\u00e1lculo por derivaci\u00f3n para la transformaci\u00f3n simb\u00f3lica de las especificaciones; se demuestra la correcci\u00f3n de este c\u00e1lculo y se propone un algoritmo capaz de reproducir autom\u00e1ticamente dentro del c\u00e1lculo definido, cualquier proceso de s\u00edntesis de alto nivel realizado por un algoritmo de optimizaci\u00f3n externo, permitiendo decidir de este modo, la correcci\u00f3n del circuito generado o la incorrecci\u00f3n de las decisiones adoptadas por el algoritmo de optimizaci\u00f3n.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Sintesis formal de alto nivel por derivacion automatica. aspectos teoricos, metodologicos y practicos.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Sintesis formal de alto nivel por derivacion automatica. aspectos teoricos, metodologicos y practicos. <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Mendias Cuadros Jos\u00e9 Manuel <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Complutense de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/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>Roman Hermida Correa<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Francisco Tirado Fern\u00e1ndez <\/li>\n<li>Emilio Luque Fadon (vocal)<\/li>\n<li>Carlos Delgado Kloos (vocal)<\/li>\n<li> Lopez Lopez Juan  Carlos (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Mendias Cuadros Jos\u00e9 Manuel El objetivo de esta investigaci\u00f3n es, por un lado, desarrollar las bases te\u00f3ricas [&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,2535],"tags":[30894,2539,2678,16761,93025,23814],"class_list":["post-34492","post","type-post","status-publish","format-standard","hentry","category-arquitectura-de-ordenadores","category-ciencias-tecnologicas","category-tecnologia-de-los-ordenadores","tag-carlos-delgado-kloos","tag-emilio-luque-fadon","tag-francisco-tirado-fernandez","tag-lopez-lopez-juan-carlos","tag-mendias-cuadros-jose-manuel","tag-roman-hermida-correa"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/34492","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=34492"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/34492\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=34492"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=34492"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=34492"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}