既存の環境で協調検証を実現ハードとソフトのシミュレータの任意の組み合わせが可能
ドキュメント化されたAPI: ISS - SeamlessCVE - Logic Simulator オープンアーキテクチャー
MPUベンダーとの協力関係:Seamless ALLIANCE 2000
シミュレータ用のモデルを自動生成:ハード側のMPUモデルはCでバス動作を1つ記述すればOK(遅延は別のタイミングファイルで記述)
- ハード側検証ツール
- QuickSimII
- ModelSim(QuickHDL/V-System)
- SimExpress(ハードウェアエミュレータ)
- Cadence社Verilog-XL,NC-Verilog,Leapfrog
- ViewLogic/Synopsys 社 VCS
- IKOS社ハードウェアアクセラレータ
- Avant!社 Polaris
- QuickTurn社 SpeedSim
- ソフト側検証ツール
- ホストマシンのデバッグ環境
- インストラクションセット シミュレータ
- マイクロテックXRAY
- Greenhills、SDS、IAR
- MPUベンダー内製: ARM、三菱、松下、NEC等