Design verification method of massively parallel arithmetic unit combined using a functional language and the Grid computing system
| Project/Area Number |
20500130
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Intelligent informatics
|
|---|
| Research Institution | Shinshu University |
|---|
Principal Investigator |
WASAKI Katsumi Shinshu University, 工学部, 教授 (70271492)
|
|---|
| Project Period (FY) |
2008 – 2010
|
| Project Status |
Completed (Fiscal Year 2010)
|
| Budget Amount *help |
¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000)
Fiscal Year 2010: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2009: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2008: ¥2,080,000 (Direct Cost: ¥1,600,000、Indirect Cost: ¥480,000)
|
|---|
| Keywords | 探索・論理・推論アルゴリズム / プルーフチェッカ / 形式検証 / 関数型言語系 / グリッド計算機 / 設計検証系 / 並列演算器 |
|---|
| Research Abstract |
The main outcome of this project is to improve the ability to verify that the parallel system. For instance, A proof checker (mathematical theorem prover) has been implemented on the network environment. The target information of circuit configurations describes using a functional language. The output code from the compiler uses to prove the sequence of proof expressions by proof checker. To achieve parallelism, this research project introduced a representation model by Petri net. The "pipeline" mechanism is used as a computational model to explain. Next, this project developed a meta hardware compiler based on a functional programming language. Finally, several formal verification tools have tested in the term of project.
|
Report
(4 results)
Research Products
(37 results)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] 整数有限列上の加算・乗算アルゴリズムの正当性証明に関する検討2009
Author(s)
伊藤比佐志, 和崎克己
Organizer
日本Mizar学会2009年春期総会予稿集(Proceedings of the Technical Symposium and General Assembly of Mizar JAPAN),4,(1),6pages
Place of Presentation
信州大学長野(工学)キャンパス総合研究棟
Year and Date
2009-06-19
Related Report
-
-
-
-
-
-
-
-
-
-
