Tese

DECMEF: um sistema de decomposição aplicado à síntese de máquinas de estados finitos complexos (1998)

• Authors:
  • Llanos Quintero, Carlos Humberto
  • Strum, Marius (Orientador)
• Autor USP: QUINTERO, CARLOS HUMBERTO LLANOS - EP
• Unidade: EP
• Sigla do Departamento: PEE
• Assunto: ENGENHARIA ELÉTRICA
• Language: Português
• Abstract: Neste trabalho é apresentado o sistema DECMEF, usado para a decomposição de máquinas de estados finitos (MEFs) complexas (entre 100 e 1000 estados). A decomposição consiste em dividir a implementação de uma MEF em um conjunto de pequenas sub-máquinas (sub-MEFs) interagindo entre si. No processo de decomposição devem-se obter duas ou mais partições cujo produto seja a partição nula. A técnica de decomposição é importante por várias razões. O conjunto de pequenas sub-MEFs permite melhorar o desempenho do circuito dado que os circuitos menores levam a uma redução do caminho crítico do circuito geral. Por outro lado a técnica de decomposição pode levar a uma redução da área total do circuito. O mesmo particionamento do circuito pode ajudar nas tarefas de flooplanning devido a uma simplificação das restrições do circuito resultante. A decomposição de MEFs pode ser aplicada diretamente no caso em que a implementação do circuito seja através de FPGAs e FLDs. Um ponto importante é que a técnica de decomposição permite aos sistemas de síntese obter soluções que de outra maneira seria impossível obtê-las (MEF grandes). Vários métodos de decomposição de MEFs têm sido propostos, mas sem resultados importantes para MEFs com grande número de estados. O maior exemplo apresentado nos trabalhos anteriores é uma MEF com 121 estados, 27 entradas e 54 saídas. Neste trabalho apresentamos o sistema DECMEF, umconjunto de ferramentas que trabalham de maneira interativa para a decomposição de MEF complexas. As MEFs decompostas foram sintetizadas usando o sistema SIS. Resultados para MEF com até 1000 estados são apresentados. O DECMF está constituído principalmente por duas ferramentas: oGERPAR e o GERTAB. O GERPAR fornece ao projetista uma série de opções para obter duas partições válidas. Duas técnicas principais foram implementadas: a técnica de fatoração e a técnica de agrupamento de estados. As heurísticas implementadas no ) GERPAR são guiadas por funções custo que tentam uma simplificação do circuito. O GERTAB fornece a descrição das sub-MEFs na forma de tabelas de transição de estados e está constituído por dois programas: GERTAB1 e GERTAB2. GERTAB1 tenta uma simplificação do circuito resultante mediante a redução do grau de interconexão entre as sub-MEFs. O GERTAB2 tenta a simplificação do circuito mediante a eliminação de funções de saída adicionais, que visam eliminar transições não-determinísticas nas sub-MEFs
• Imprenta:
  • Publisher place: São Paulo
  • Date published: 1998
• Data da defesa: 05.06.1998

---

How to cite

A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

• ABNT

  LLANOS QUINTERO, Carlos Humberto. DECMEF: um sistema de decomposição aplicado à síntese de máquinas de estados finitos complexos. 1998. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 1998. . Acesso em: 24 abr. 2024.

• APA

  Llanos Quintero, C. H. (1998). DECMEF: um sistema de decomposição aplicado à síntese de máquinas de estados finitos complexos (Tese (Doutorado). Universidade de São Paulo, São Paulo.

• NLM

  Llanos Quintero CH. DECMEF: um sistema de decomposição aplicado à síntese de máquinas de estados finitos complexos. 1998 ;[citado 2024 abr. 24 ]

• Vancouver

  Llanos Quintero CH. DECMEF: um sistema de decomposição aplicado à síntese de máquinas de estados finitos complexos. 1998 ;[citado 2024 abr. 24 ]

Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI:

• A leitura da imagem fotográfica nos jornais: O Estado de S. Paulo e Folha de S. Paulo : eleições presidenciais de 1994