DSO.ai
もっと蠅靴岑る
ESP
シンボリック?シミュレ`ションに児づくカスタム譜柴のフォ`マル吉編^
ESPは、Mみzみメモリ、カスタム?マクロ、スタンダ`ドセル、I/Oセル?ライブラリなどのカスタム譜柴の畠中議なC嬬編^にﾚく聞喘されるフォ`マル吉編^ツ`ルであり、
2つの譜柴峰がC嬬議に吉であることを_Jします。鵑箸覆詆莠酉峰は、Verilogのビヘイビア?モデル、RTL、UDP、ゲ`ト、SPICEネットリスト?ビュ`です。
麼な蒙海
- 互堀かつﾚ袈なカバレッジによりバグを儻堀にk需し、瞳嵎を鯢
- デバイスモデル?シミュレ`ションにより仟しいデバイス?テクノロジをサポ`トし、伏恢來を鯢
- 皆永鴛遺掘ネットリストを岷俊編^し、ゲ`トレベルの渇鷸の駅勣來を電茅