open access

https://hdl.handle.net/2115/48440

Improving Simulation Coverage of Metastability E ects in Clock Domain Crossing Verification

日本語

2011-06

ERATO湊離散構造処理系プロジェクト

ERATOセミナ2010 : No.33. 2011年1月28日

複数の非同期クロックドメインを含むハードウェアの論理検証には、非同期信号受信時に発生する信号値のランダム性をモデル化した「CDCシミュレーション」が不可欠である。CDCシミュレーションでは、使用したシミュレーションパターンの集合が障害検出に十分なものであるかという問題と、それぞれのシミュレーションパターンに対して十分な種類のランダム動作が試されたかという問題が、その検証品質を決定する。本文では、CDCモデルに制約ソルバを組み合わせることにより、上記２つの問題を改善する手法を提案する。本手法により、短時間で高い検証品質のCDCシミュレーションが実行可能になる。

会議発表資料

Not Applicable (or Unknown)

2186-1846