Tesis doctoral de Imaña Pascual José Luis
El propósito del trabajo de tesis consiste en la aplicación de los campos de galois a la verificación probabilista de funciones booleanas, así como en la determinación de métodos de multiplicación sobre los campos de extensión gf(2m) que produzcan multiplicadores sobre dichos campos de complejidad reducida. con respecto del problema de verificación de circuitos combinacionales, la aproximación probabilista consistente en la obtención de asignaturas a partir de la evaluación, sobre valores selccionados de un campo finito, de expresiones transformadas de las funciones a verificar, representa una buena alternativa a los métodos de verificación clásicos basados en diagramas de decisión. en este trabajo se ha estudiado la utilización de los campos de galois como campos finitos debido a las simplificaciones que se obtienen cuando se aplican a la verificación probabilista. se ha desarrollado un método híbrido de verificación que combina las aproximaciones probabilista y determinista clásica, que es aplicable a circuitos combinacionales de dos niveles. Este método utiliza, asimismo, una nueva formulación que se ha desarrollado para el cálculo de operaciones booleanas. También se ha utilizado un tipo especial de diagramas de decisión para su aplicación a la verificación probabilista de circuitos combinacionales multinivel. con respecto de la multiplicación sobre campos de extensión gf(2m), se tiene que esta operación es la más costosa y compleja de las utilizadas en la verificación probabilista. Además, este tipo de campos se utilizan en muchas aplicaciones actuales como la criptografía, los códigos algebraicos, etc. por este motivo, se requiere que la implementación de los multiplicadores sobre gf(2m) sean rápidos y ocupen el menor área posible. se ha desarrollado un nuevo método de multiplciación sobre gf(2m), denominado transposicional, que produce multiplicadores cuyas complejidades teóric
Datos académicos de la tesis doctoral «Aplicación de campos de galois a la verificación probabilistica de funciones booleanas y métodos de multiplicación sobre campos de extensión gf(2m)«
- Título de la tesis: Aplicación de campos de galois a la verificación probabilistica de funciones booleanas y métodos de multiplicación sobre campos de extensión gf(2m)
- Autor: Imaña Pascual José Luis
- Universidad: Complutense de Madrid
- Fecha de lectura de la tesis: 30/06/2003
Dirección y tribunal
- Director de la tesis
- Juan Manuel Sánchez Pérez
- Tribunal
- Presidente del tribunal: Francisco Tirado fernández
- jean-piere Deeschamps (vocal)
- daniel Meziat luna (vocal)
- Juan Antonio Gómez pulido (vocal)