19日 11:00-11:20 三菱電機エンジニアリング株式会社

第三者検証適用によるＦＰＧＡ／ＬＳＩ開発の品質改善と生産性向上の紹介

ＦＰＧＡ／ＬＳＩ開発において第三者検証を適用することにより品質が向上する。更に、設計と検証を並行して実施できるため生産性も向上する。本講演ではＵＶＭとフォーマル検証を用いた第三者検証について紹介する。