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
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.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copiar
Chang-Jae PARK, Ando KI, In-Cheol PARK, Chong-Min KYUNG, "An Automatic Interface Insertion Scheme for In-System Verification of Algorithm Models in C" in IEICE TRANSACTIONS on Fundamentals,
vol. E85-A, no. 12, pp. 2645-2654, December 2002, doi: .
Abstract: This paper describes an automatic interface insertion scheme for in-system verification of algorithm models. To insert the interface, an algorithm model described in C is translated into another source code that includes the communication with hardware components in the target system to be validated with the algorithm model. The communication between the algorithm model and hardware components is achieved using transactors that perform transformation between access operations and bus cycle transactions. I/O terminal is introduced as an interface model to relate the transactions to access operations during the execution of the algorithm model, i.e., accesses to I/O terminals invoke bus cycle transactions in hardware and vice versa. An automatic interface insertion tool is developed using the source-to-source translation to identify the I/O terminals and insert interface function calls in the source code. The proposed automatic interface insertion scheme is validated by emulating several multimedia algorithms written in C on real target systems.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e85-a_12_2645/_p
Copiar
@ARTICLE{e85-a_12_2645,
author={Chang-Jae PARK, Ando KI, In-Cheol PARK, Chong-Min KYUNG, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={An Automatic Interface Insertion Scheme for In-System Verification of Algorithm Models in C},
year={2002},
volume={E85-A},
number={12},
pages={2645-2654},
abstract={This paper describes an automatic interface insertion scheme for in-system verification of algorithm models. To insert the interface, an algorithm model described in C is translated into another source code that includes the communication with hardware components in the target system to be validated with the algorithm model. The communication between the algorithm model and hardware components is achieved using transactors that perform transformation between access operations and bus cycle transactions. I/O terminal is introduced as an interface model to relate the transactions to access operations during the execution of the algorithm model, i.e., accesses to I/O terminals invoke bus cycle transactions in hardware and vice versa. An automatic interface insertion tool is developed using the source-to-source translation to identify the I/O terminals and insert interface function calls in the source code. The proposed automatic interface insertion scheme is validated by emulating several multimedia algorithms written in C on real target systems.},
keywords={},
doi={},
ISSN={},
month={December},}
Copiar
TY - JOUR
TI - An Automatic Interface Insertion Scheme for In-System Verification of Algorithm Models in C
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 2645
EP - 2654
AU - Chang-Jae PARK
AU - Ando KI
AU - In-Cheol PARK
AU - Chong-Min KYUNG
PY - 2002
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E85-A
IS - 12
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - December 2002
AB - This paper describes an automatic interface insertion scheme for in-system verification of algorithm models. To insert the interface, an algorithm model described in C is translated into another source code that includes the communication with hardware components in the target system to be validated with the algorithm model. The communication between the algorithm model and hardware components is achieved using transactors that perform transformation between access operations and bus cycle transactions. I/O terminal is introduced as an interface model to relate the transactions to access operations during the execution of the algorithm model, i.e., accesses to I/O terminals invoke bus cycle transactions in hardware and vice versa. An automatic interface insertion tool is developed using the source-to-source translation to identify the I/O terminals and insert interface function calls in the source code. The proposed automatic interface insertion scheme is validated by emulating several multimedia algorithms written in C on real target systems.
ER -