A funcionalidade de pesquisa está em construção.
A funcionalidade de pesquisa está em construção.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Arithmetic Circuit Verification Based on Symbolic Computer Algebra Verificação de circuito aritmético baseada em álgebra computacional simbólica

Yuki WATANABE, Naofumi HOMMA, Takafumi AOKI, Tatsuo HIGUCHI

  • Exibições de texto completo

    0

  • Cite isto

Resumo:

Este artigo apresenta uma abordagem formal para verificar circuitos aritméticos usando álgebra computacional simbólica. Nosso método descreve circuitos aritméticos diretamente com objetos matemáticos de alto nível baseados em sistemas numéricos ponderados e fórmulas aritméticas. Tal descrição de circuito pode ser efetivamente verificada por técnicas de redução polinomial usando Bases de Grobner. Neste artigo, descrevemos como a álgebra computacional simbólica pode ser usada para descrever e verificar circuitos aritméticos. Os efeitos vantajosos da abordagem proposta são demonstrados através da verificação experimental de alguns circuitos aritméticos, como acumulador múltiplo e filtro FIR. O resultado mostra que a abordagem proposta tem uma possibilidade definitiva de verificar circuitos aritméticos práticos.

Publicação
IEICE TRANSACTIONS on Fundamentals Vol.E91-A No.10 pp.3038-3046
Data de publicação
2008/10/01
Publicitada
ISSN online
1745-1337
DOI
10.1093/ietfec/e91-a.10.3038
Tipo de Manuscrito
PAPER
Categoria
Tecnologia de Design VLSI e CAD

autores

Palavra-chave