トップページ
会議室
メルマガ
お役だち
ニュース
コラム
レポート
写真館
技術解説
トップ
>
記事
>
写真館
> 11dac
39th Design Automation Conference 写真館
写真一覧
コメント付き一覧
23/66
セミフォーマル・ベリフィケーションの提案で一躍有名になった米国0-In Design Automation社のブース．ここ3〜4年の間にセミフォーマル手法はすっかりメジャーな機能検証技術になってしまった．
トップ
>
記事
>
写真館
> 11dac
Copyright 2002 CQ Publishing Co.,Ltd.
Webmaster@kumikomi.net
