Club Formal 2022に登壇

2022年6月15日水曜日13:15~17:00オンラインで開催される”Club Formal 2022 -Asia Pacific and Japan“において、弊社FPV Bug Hunterの岡 恵美子が、下記の内容にて発表を行います。

13:40-14:15 
プロセッサ開発におけるフォーマルバグハンティング
~ 解き放て、狩猟魂 Unleash the Bug Hunting Spirit ~

次世代車載システムでは、性能と使いやすさの両立、さらに高い設計品質が求められます。エヌエスアイテクスでは、これらの要求に応え、ISO26262 ASIL Dレベルまでの機能安全に対応したRISC-V ISA準拠の32bit汎用CPU 「NS31A」を開発しました。本開発では、限られた期間に検証を完遂し、タイムリーにIPをリリースするため、従来取り組んでいたプロセッサまるごとフォーマル検証に加えて、Jasperのバグハント手法(Deep Bug Hunt, Deadlock Hunt)を導入しました。本発表では、このバグハント手法について事例と共に報告いたします。

イベント概要、お申し込みはこちら