2007年06月26日

MATLABでフォーマル検証

MATLAB+Simulinkで作ったモデルをフォーマル検証出来るツールが発表された。
モデルからHDLに落として回路を生成する事はすでに可能になっているので、モデルベースで設計、検証して直接回路を生成する手法が加速してくるかもしれない。
現状、HDLベースでフォーマル検証しようとすると検証時間等の問題により回路規模が制限される事が多い。今回のツールはモデルベースなのでこのあたりの制限が緩和される事に期待したい。



投稿時刻(22:31)│コメント(0)雑記 

この記事にコメントする

名前:
URL:
  情報を記憶: 評価: 顔   
 
 
 
最新コメント
ブログ内検索
カテゴリ別表示
月別表示
問い合わせ・連絡先
ta_bo__@livedoor.com

本サイトは以下のアクセス解析を使用しております。
基礎化粧品