概要
Formal検証は強力である一方、証明の収束性等に課題があります。本発表では、Formal検証を前提とした設計手法Formal-Oriented Design (FOD)を提案します。設計後に検証を適用する従来の発想を転換し、機能分割や状態局所化等により収束性を設計段階から確保します。FODをI/F IP開発に適用し、従来困難であった規模でのFormal Signoffを実現した事例を紹介します。
講演者情報
ルネサス エレクトロニクス株式会社
エンジニアリンググループ デジタルＩＰ開発統括部 高速Ｉ／Ｆ技術開発部
プリンシパルデジタルエンジニア
溝口 大介 氏
ルネサス エレクトロニクス株式会社
エンジニアリンググループ デジタルＩＰ開発統括部 高速Ｉ／Ｆ技術開発部
スタッフデジタルエンジニア
入倉 直輝 氏
【職歴】
◆溝口 大介 氏
2005年入社。IP開発部門で、高速通信IP開発に従事。主に、デジタル回路の設計・検証を担当しています。
◆入倉 直輝 氏
2020年入社。IP開発部門で、高速通信IP開発に従事。主に、デジタル回路の設計・検証を担当しています。
エンジニアリンググループ デジタルＩＰ開発統括部 高速Ｉ／Ｆ技術開発部
プリンシパルデジタルエンジニア
溝口 大介 氏
ルネサス エレクトロニクス株式会社
エンジニアリンググループ デジタルＩＰ開発統括部 高速Ｉ／Ｆ技術開発部
スタッフデジタルエンジニア
入倉 直輝 氏
【職歴】
◆溝口 大介 氏
2005年入社。IP開発部門で、高速通信IP開発に従事。主に、デジタル回路の設計・検証を担当しています。
◆入倉 直輝 氏
2020年入社。IP開発部門で、高速通信IP開発に従事。主に、デジタル回路の設計・検証を担当しています。