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
Uma metodologia para converter automaticamente representações de tipos de dados de ponto fixo em tipos de dados inteiros para síntese de alto nível é apresentada neste trabalho. Nosso método converte todas as principais operações C usando tipos de dados de ponto fixo em tipos de dados inteiros, quantização de modelos e modos de overflow, conversão de tipo e conversão. A regra de conversão para cada operação é descrita detalhadamente, bem como um ambiente de teste de regressão com 600 casos de teste para validar o método e verificar a correção de cada conversão em comparação com os mesmos casos escritos em SystemC. O ambiente de teste converte cada caso de teste com tipos de dados de ponto fixo em tipos de dados inteiros e os sintetiza com uma ferramenta de síntese de alto nível para gerar RTL. Uma simulação RTL é executada e os resultados, por sua vez, comparados com a simulação OSCI do SystemC. Para todos os 600 casos de teste, os resultados da simulação RTL corresponderam aos resultados do SystemC, provando que cada conversão é modelada com precisão. Um caso de teste real maior também é apresentado para validar o método de conversão em um caso complexo.
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
Benjamin CARRION SCHAFER, Yusuke IGUCHI, Wataru TAKAHASHI, Shingo NAGATANI, Kazutoshi WAKABAYASHI, "Fixed Point Data Type Modeling for High Level Synthesis" in IEICE TRANSACTIONS on Electronics,
vol. E93-C, no. 3, pp. 361-368, March 2010, doi: 10.1587/transele.E93.C.361.
Abstract: A methodology to automatically convert fixed point data type representations into integer data types for high level synthesis is presented in this work. Our method converts all major C operations using fixed point data types into integer data types, models quantization and overflow modes, type conversion and casting. The conversion rule for each operation is described in detail as well as a regression test environment with 600 test cases to validate the method and to verify the correctness of each conversion compared to the same cases written in SystemC. The test environment converts each test case with fixed point data types into integer data types and synthesizes them with a high level synthesis tool to generate RTL. An RTL simulation is ran and the results in turn compared to the SystemC's OSCI simulation. For all of the 600 test cases the RTL simulation results matched the SystemC results proving that each conversion is accurately modeled. A larger real test case is also presented to validate the conversion method in a complex case.
URL: https://global.ieice.org/en_transactions/electronics/10.1587/transele.E93.C.361/_p
Copiar
@ARTICLE{e93-c_3_361,
author={Benjamin CARRION SCHAFER, Yusuke IGUCHI, Wataru TAKAHASHI, Shingo NAGATANI, Kazutoshi WAKABAYASHI, },
journal={IEICE TRANSACTIONS on Electronics},
title={Fixed Point Data Type Modeling for High Level Synthesis},
year={2010},
volume={E93-C},
number={3},
pages={361-368},
abstract={A methodology to automatically convert fixed point data type representations into integer data types for high level synthesis is presented in this work. Our method converts all major C operations using fixed point data types into integer data types, models quantization and overflow modes, type conversion and casting. The conversion rule for each operation is described in detail as well as a regression test environment with 600 test cases to validate the method and to verify the correctness of each conversion compared to the same cases written in SystemC. The test environment converts each test case with fixed point data types into integer data types and synthesizes them with a high level synthesis tool to generate RTL. An RTL simulation is ran and the results in turn compared to the SystemC's OSCI simulation. For all of the 600 test cases the RTL simulation results matched the SystemC results proving that each conversion is accurately modeled. A larger real test case is also presented to validate the conversion method in a complex case.},
keywords={},
doi={10.1587/transele.E93.C.361},
ISSN={1745-1353},
month={March},}
Copiar
TY - JOUR
TI - Fixed Point Data Type Modeling for High Level Synthesis
T2 - IEICE TRANSACTIONS on Electronics
SP - 361
EP - 368
AU - Benjamin CARRION SCHAFER
AU - Yusuke IGUCHI
AU - Wataru TAKAHASHI
AU - Shingo NAGATANI
AU - Kazutoshi WAKABAYASHI
PY - 2010
DO - 10.1587/transele.E93.C.361
JO - IEICE TRANSACTIONS on Electronics
SN - 1745-1353
VL - E93-C
IS - 3
JA - IEICE TRANSACTIONS on Electronics
Y1 - March 2010
AB - A methodology to automatically convert fixed point data type representations into integer data types for high level synthesis is presented in this work. Our method converts all major C operations using fixed point data types into integer data types, models quantization and overflow modes, type conversion and casting. The conversion rule for each operation is described in detail as well as a regression test environment with 600 test cases to validate the method and to verify the correctness of each conversion compared to the same cases written in SystemC. The test environment converts each test case with fixed point data types into integer data types and synthesizes them with a high level synthesis tool to generate RTL. An RTL simulation is ran and the results in turn compared to the SystemC's OSCI simulation. For all of the 600 test cases the RTL simulation results matched the SystemC results proving that each conversion is accurately modeled. A larger real test case is also presented to validate the conversion method in a complex case.
ER -