抽象解釈手法に基づく変数の相互関係解析とそのデータパス最適化への応用

• 土井 伸洋

• 堀山 貴史

• 中西 正樹

Bibliographic Information

Other Title

• チュウショウ カイシャク シュホウ ニ モトヅク ヘンスウ ノ ソウゴ カンケイ カイセキ ト ソノ データパス サイテキカ エ ノ オウヨウ

Journal

• 情報処理学会研究報告 = IPSJ SIG technical reports

  情報処理学会研究報告 = IPSJ SIG technical reports 2004 (56), 41-46, 2004-05

  東京 : 情報処理学会

Keywords

• HDL
• 高位合成
• 並列化コンパイラ
• ビット長最適化
• 抽象解釈
• high-level synthesis
• parallelizing compiler
• bit-length optimization
• abstruct interpretation

Details

• CRID: 1520290884508414080
• NII Article ID: 110002665641
• NII Book ID: AN10539294
• ISSN: 09196072
• NDL BIB ID: 6983946
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I6983946
• Text Lang: ja
• NDL Source Classification:
  • ZM13(科学技術--科学技術一般--データ処理・計算機)
• Data Source:
  • NDL
  • CiNii Articles