| Project/Area Number |
22500047
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Computer system/Network
|
|---|
| Research Institution | Shimane University (2012)
Osaka University (2010-2011) |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2010 – 2012
|
| Project Status |
Completed (Fiscal Year 2012)
|
| Budget Amount *help |
¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
Fiscal Year 2012: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2011: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Fiscal Year 2010: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
|
|---|
| Keywords | 設計検証技術 / フォーマル検証 / シミュレーションベース検証 / SAT ソルバ / SATソルバ / 有界モデル検査 / カバレッジ駆動検証 / 制約付きランダムパタン生成 / アサーションベース検証 |
|---|
| Research Abstract |
Formal methods and simulation-based methods have been used for hardware verification in practical industrial designs. How to combine these two methods, however, has not been studied extensively yet. In this research, in terms of qualita tive verification metrics, we show effectiveness of our new approach, in which based on the results of simulation runs, a formal method is applied for improving the coverage metrics. We also show some experimental results, in which for a block module of se veral thousands of gates, the proposed method is effective.
|
