算術アルゴリズム記述言語に基づく算術演算回路の高水準設計環境に関する研究

基于算术算法描述语言的算术运算电路高层设计环境研究

• 批准号: 08J08031
• 负责人: 渡邉 裕樹
• 金额: $ 0.38万
• 依托单位: Tohoku University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2008
• 资助国家: 日本
• 起止时间: 2008 至 2009
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-08J08031/
• 关键词: 算術演算回路回路; 形式的検証; 計算機代数; モジュールジェネレータ

平成20年度は,(1)計算機代数を応用した形式的検証手法および(2)高信頼なデータパスジェネレータに関する研究を平行して実施し,それぞれ以下の成果を得た.(1)大規模な算術演算回路に対する効率的な機能検証手法の実現を目指し,まず,重み数系と整数方程式を用いて算術演算回路を統一的に表現可能なデータ構造を提案した.このデータ構造に対する検証手法として,グレブナー基底や多項式簡約など計算機代数の手法に基づく手法を提案した.また,従来の形式的検証手法との比較し,算術演算回路の種類に応じて提案手法と従来手法を切り替えることで,検証時間を大幅に削減できることを明らかにした.(2)提案手法に基づく検証系を組み込んだモジュールジェネレータを開発した.本システムは,多入力加算や積和演算などの多様な算術アルゴリズムをライブラリとして有し,その組み合わせで900種類を越える演算器モジュールを自動生成することができる.また,計算機代数に基づく形式的検証を適用することにより,64ビットの演算器であれば数分以内に検証することができる.本システムを公開したWebページ(http://www.aoki.ecei.tohoku.ac.jp/arith/mg/)は,平成20年度末までに12万件以上利用されている.以上の研究により,計算機代数に基づく算術演算回路の形式的設計手法を提案し,その有効性を示すとともに,実用性の高い演算器モジュールジェネレータを実現した.

In the year of Pingcheng 20, (1) the computer algebra system was used in the form of computer tools. (2) the high-trust computer system was used in the study of parallel computer simulations. the following results are successful. (1) the machine that calculates the failure rate of the loop of large-scale model arithmetic can detect the target, and the target can be detected. It is possible to make a proposal by using the unified loop of mathematical calculus to solve the integer equation of the double number system. In this paper, the computer system is introduced, and the basic multi-item method is proposed. In the form of information technology, in the form of computer science and technology, in the form of computer science and technology, in the form of information technology, in the form of information technology, in the form of computer science and technology, in the form of information technology, and in the form of computer science and technology, and in the form of computer science and technology, computer science and technology. In this system, multi-input and multi-input computing systems and calculus systems are required. In this system, the computer system 900 is used to automatically generate data sets. In the form of computer algebra, the computer is used in the form of computer algebra, and the computer calculator is within the limit of the number of points. At the end of the year in Pingcheng, there were more than 120000 pieces of Web drugs (http://www.aoki.ecei.tohoku.ac.jp/arith/mg/)). In the above research, there is a proposal for design techniques in the form of computer algebraic computing loops, which can be used to demonstrate the performance of the computer, and the performance of the high-performance calculus.

项目成果

Arithmetic Module Generator with Algorithm Optimization Capability

具有算法优化能力的算术模块生成器

• 发表时间: 2008
• 期刊: Proceedings of the 2008 IEEE International Symposium on Circuits and Systems
• 作者: 沙川貴大;上田正仁;Yuki Watanabe
• 通讯作者: Yuki Watanabe

Systematic approach to designing multiple-valued logic arithmetic circuits based on arithmetic description language

基于算术描述语言的多值逻辑算术电路设计系统方法

• 发表时间: 2008
• 期刊: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E91-A
• 作者: 沙川貴大;上田正仁;Yuki Watanabe;Yuki Watanabe;Yuki Watanabe
• 通讯作者: Yuki Watanabe

High-level design of multiple-valued arithmetic circuits based on arithmetic description language

基于算术描述语言的多值运算电路高层设计

• 发表时间: 2008
• 期刊: Proceedings of the 37th IEEE International Symposium on Multiple-Valued Logic
• 作者: 沙川貴大;上田正仁;Yuki Watanabe;Yuki Watanabe
• 通讯作者: Yuki Watanabe