ホーム > 講演 > リコーのフォーマル検証への取り組み

リコーのフォーマル検証への取り組み

リコーにおけるフォーマル検証導入の背景、導入の課題と課題に対して乗り越えた事例の紹介。最新のフォーマル検証技術導入の紹介。

株式会社リコー 渡邊　裕人氏
株式会社リコー
渡邊　裕人 （ワタナベ　ユウト）
株式会社リコー グループリーダー 佐塚　明文氏
株式会社リコー
先端技術研究所 共通基盤センター 第二エレキ設計室 設計一グループ
グループリーダー
佐塚　明文 （サツカ　アキフミ）