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

第三者検証適用によるFPGA/LSI開発の品質改善と生産性向上の紹介

FPGA/LSI開発において第三者検証を適用することにより品質が向上する。更に、設計と検証を並行して実施できるため生産性も向上する。本講演ではUVMとフォーマル検証を用いた第三者検証について紹介する。