Dissertação mestrado circuitos lógicos

JOÃO INÁCIO DA SILVA FILHO

IMPLEMENTAÇÃO DE CIRCUITOS LÓGICOS FUNDAMENTADOS EM UMA CLASSE DE LÓGICAS PARACONSISTENTES ANOTADAS

Dissertação apresentada à Escola Politécnica da Universidade de São Paulo para obtenção do título de Mestre em Engenharia.

São Paulo 1997

JOÃO INÁCIO DA SILVA FILHO

IMPLEMENTAÇÃO DE CIRCUITOS LÓGICOS FUNDAMENTADOS EM UMA CLASSE DE LÓGICAS PARACONSISTENTES ANOTADAS

Dissertação apresentada à Escola Politécnica da Universidade de São Paulo para obtenção do título de Mestre em Engenharia.

Área de Concentração :

Microeletrônica

Orientador : Prof. Dr. Pedro Luís Próspero Sanchez

São Paulo 1997

2

da Silva Filho, João Inácio Implementação de Circuitos lógicos Fundamentados em uma classe de Lógicas Paraconsistentes Anotadas. São Paulo, 1997. 131 p. Dissertação (Mestrado) - Escola Politécnica da Universidade de São Paulo. Departamento de Engenharia Eletrônica. 1.Circuitos Lógicos 2.Lógica não-Clássica 3.Lógica Paraconsistente 4. Lógica Paraconsistente Anotada 5.Circuitos CMOS I. Universidade de São Paulo. Escola Politécnica. Departamento de Engenharia Eletrônica II.t

3

À minha esposa Maristela e aos meus filhos Mônica e Marcelo pelo apoio, dedicação e incentivo necessários à elaboração deste trabalho.

4

AGRADECIMENTOS
Ao Prof. Doutor Pedro Luís Próspero Sanchez, pelo apoio constante e orientação valiosa no desenvolvimento deste trabalho.

Ao Prof. Doutor Jair Minoro Abe, pela ajuda, comentários e sugestões na elaboração deste trabalho.

Ao Prof. Doutor Wilhelmus A. M. Van Noije pelo incentivo e colaboração.

Ao Professor Luiz Carlos Moreira pela dedicação e amizade demonstrada ao longo destes anos.

Aos amigos do Laboratório de Sistemas Integráveis : Soraya Rita Mont’Alegre, José Henrique P. Andrade, Marcio Toma, João Navarro Fábio Luís Romão Rogério A. Neves Tenório pela ajuda e sugestões técnicas de grande valia.

5

SUMÁRIO
CAPÍTULO 1 - APRESENTAÇÃO 1.1 1.2 Introdução