2009 Fiscal Year Final Research Report
Formal design method of high-performance VLSI datapaths based on computer algebra
| Project/Area Number |
20700041
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Computer system/Network
|
|---|
| Research Institution | Tohoku University |
|---|
Principal Investigator |
HOMMA Naofumi Tohoku University, 大学院・情報科学研究科, 准教授 (00343062)
|
|---|
| Project Period (FY) |
2008 – 2009
|
| Keywords | 計算機システム / システムオンチップ / VLSI設計技術 / 算術アルゴリズム / 形式的設計 / 計算機代数 / データパス / グレブナー基底 |
|---|
| Research Abstract |
This research project aimed to develop high-level design methodology for arithmetic algorithms, and developed formal verification method of arithmetic algorithms based on computer algebra and its application to arithmetic module generator. In particular, the newly-developed generator can generate typical operations in security systems such as modular exponentiation operations. The generated algorithms can be verified completely by the formal verification method.
|
Research Products
(28 results)
