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

An Automatic Interface Insertion Scheme for In-System Verification of Algorithm Models in C Um esquema de inserção automática de interface para verificação no sistema de modelos de algoritmos em C

Chang-Jae PARK, Ando KI, In-Cheol PARK, Chong-Min KYUNG

  • Exibições de texto completo

    0

  • Cite isto

Resumo:

Este artigo descreve um esquema de inserção automática de interface para verificação de modelos de algoritmos no sistema. Para inserir a interface, um modelo de algoritmo descrito em C é traduzido em outro código-fonte que inclui a comunicação com componentes de hardware no sistema alvo a ser validado com o modelo de algoritmo. A comunicação entre o modelo de algoritmo e os componentes de hardware é realizada por meio de transatores que realizam transformação entre operações de acesso e transações de ciclo de barramento. Terminal de E/S é introduzido como um modelo de interface para relacionar as transações às operações de acesso durante a execução do modelo de algoritmo, ou seja, os acessos aos terminais de E/S invocam transações do ciclo de barramento no hardware e vice-versa. Uma ferramenta de inserção automática de interface é desenvolvida usando a tradução fonte-a-fonte para identificar os terminais de E/S e inserir chamadas de função de interface no código-fonte. O esquema de inserção automática de interface proposto é validado pela emulação de vários algoritmos multimídia escritos em C em sistemas alvo reais.

Publicação
IEICE TRANSACTIONS on Fundamentals Vol.E85-A No.12 pp.2645-2654
Data de publicação
2002/12/01
Publicitada
ISSN online
DOI
Tipo de Manuscrito
Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Categoria
Síntese de Alto Nível

autores

Palavra-chave