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

Fixed Point Data Type Modeling for High Level Synthesis Modelagem de tipo de dados de ponto fixo para síntese de alto nível

Benjamin CARRION SCHAFER, Yusuke IGUCHI, Wataru TAKAHASHI, Shingo NAGATANI, Kazutoshi WAKABAYASHI

  • Exibições de texto completo

    0

  • Cite isto

Resumo:

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.

Publicação
IEICE TRANSACTIONS on Electronics Vol.E93-C No.3 pp.361-368
Data de publicação
2010/03/01
Publicitada
ISSN online
1745-1353
DOI
10.1587/transele.E93.C.361
Tipo de Manuscrito
Special Section PAPER (Special Section on Circuits and Design Techniques for Advanced Large Scale Integration)
Categoria

autores

Palavra-chave