Hokkaido University Collection of Scholarly and Academic Papers >
Graduate School of Information Science and Technology / Faculty of Information Science and Technology >
科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録 >
2010年度 >
Improving Simulation Coverage of Metastability E ects in Clock Domain Crossing Verification
Title: | Improving Simulation Coverage of Metastability E ects in Clock Domain Crossing Verification |
Authors: | 岩下, 洋哲 Browse this author |
Issue Date: | Jun-2011 |
Publisher: | ERATO湊離散構造処理系プロジェクト |
Citation: | 2010年度科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録. p.204. |
Abstract: | 複数の非同期クロックドメインを含むハードウェアの論理検証には、非同期信号受信時に発生する信号値のランダム性をモデル化した「CDCシミュレーション」が不可欠である。CDCシミュレーションでは、使用したシミュレーションパターンの集合が障害検出に十分なものであるかという問題と、それぞれのシミュレーションパターンに対して十分な種類のランダム動作が試されたかという問題が、その検証品質を決定する。本文では、CDCモデルに制約ソルバを組み合わせることにより、上記2つの問題を改善する手法を提案する。本手法により、短時間で高い検証品質のCDCシミュレーションが実行可能になる。 |
Description: | ERATOセミナ2010 : No.33. 2011年1月28日 |
Conference Name: | ERATOセミナ |
Conference Sequence: | 2010 |
Type: | conference presentation |
URI: | http://hdl.handle.net/2115/48440 |
Appears in Collections: | 科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録 > 2010年度
|
|