The search functionality is under construction.

The search functionality is under construction.

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.

- Publication
- IEICE TRANSACTIONS on Electronics Vol.E93-C No.3 pp.361-368

- Publication Date
- 2010/03/01

- Publicized

- Online ISSN
- 1745-1353

- DOI
- 10.1587/transele.E93.C.361

- Type of Manuscript
- Special Section PAPER (Special Section on Circuits and Design Techniques for Advanced Large Scale Integration)

- Category

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.

Copy

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

Copy

@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},}

Copy

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 -