Lyra: A Hardware-Accelerated RISC-V Verification Framework with Generative Model-Based Processor Fuzzing

本論文は、ハードウェア加速と意味を考慮した生成モデル「LyraGen」を組み合わせることで、RISC-V プロセッサの検証をソフトウェアシミュレーションに比べて最大 3343 倍高速化し、カバレッジを向上させる新しいフレームワーク「Lyra」を提案するものである。

Juncheng Huo, Yunfan Gao, Xinxin Liu, Sa Wang, Yungang Bao, Xitong Gao, Kan Shi

公開日 2026-03-05
📖 1 分で読めます☕ さくっと読める

Each language version is independently generated for its own context, not a direct translation.

この論文は、**「Lyra(リラ)」**という、新しい半導体(CPU)のテスト方法を紹介するものです。

想像してみてください。新しい車を設計したとします。この車が本当に安全で、どんな道でも壊れずに走れるかを確認する必要がありますよね?これが「CPU の検証(テスト)」です。

これまでの方法には、2 つ大きな問題がありました。Lyra はそれを劇的に解決しました。

🚗 従来の方法の「2 つの悩み」

  1. テストが極端に遅い(ソフトシミュレーション)
    従来のテストは、高性能な PC のソフトウェア上で、CPU の動作を一つ一つシミュレーションしていました。

    • 例え話: 新車の安全性を調べるために、**「1 台の車を、1 人のドライバーが、1 日 24 時間、1 秒ずつ動かしてテストする」**ようなものです。1 億回テストするなんて、一生かかっても終わりません。
  2. テストの質が低い(ランダムな試行錯誤)
    効率化のために「ファジング(無作為にデータを混ぜてバグを探す技術)」を使おうとしましたが、これまでの方法は「意味がわからないまま、ただランダムにボタンを押す」ようなものでした。

    • 例え話: 複雑なパズルを解こうとして、**「目隠しをして、ピースをランダムに差し込む」**ようなものです。たまたまハマることもありますが、難しい部分(隅々まで)に到達するのは非常に運に左右され、非効率です。

🚀 Lyra(リラ)の「3 つの魔法」

Lyra は、この問題を解決するために、**「AI(生成モデル)」「ハードウェア加速(FPGA)」**を組み合わせました。

1. 賢い AI 運転手(LyraGen)

Lyra は、RISC-V(CPU の設計言語)のルールを深く理解している AI を使います。

  • 従来の方法: 目隠しをしてランダムにピースを置く。
  • Lyra の方法: 「パズルの完成図(カバーレッジ)を知っているプロの職人」が、「今、どのピースが足りないか」を計算して、完璧なピースを生成します。
    • これにより、無駄なテストを減らし、難しい部分(コーナーケース)に素早く到達できます。

2. 超高速テストコース(FPGA 搭載)

テストを実行する場所を、遅い PC のソフトウェアから、**FPGA(現場で組み立てられる特殊なチップ)**に移しました。

  • 従来の方法: 1 台の車で、1 秒ずつテストする。
  • Lyra の方法: **「100 台のテスト用車を、同時に走らせる超高速テストコース」**を作りました。
    • CPU の設計(DUT)と、正解のモデル(REF)を FPGA 上で同時に走らせ、結果を瞬時に比較します。これにより、テスト速度が100 倍〜3000 倍も速くなりました。

3. 自動補正システム

AI が生成したテスト指令が、たまに「ありえない命令」や「危険なアドレス」を含んでしまうことがあります。

  • Lyra の方法: 指令が FPGA に送られる直前に、**「自動運転のガードレール」**がチェックします。
    • 危険な指令があれば、安全な範囲に自動で修正したり、無効なものを捨てたりします。これにより、テストが途中で止まることがなくなります。

🏆 結果:どれくらいすごいのか?

この新しい方法「Lyra」を実験した結果、以下のような驚異的な成果が出ました。

  • テストの網羅性: 従来の最高技術よりも1.27 倍多く、CPU の内部状態をカバーできました。
  • スピード: 全体のテストにかかる時間が、最大で 3343 倍も速くなりました!
    • 例え話: 従来の方法で 1 年かかるテストが、Lyra なら数時間で終わる計算です。
  • 難易度: 難しいテスト項目にたどり着くまでの「苦労度」が、他の方法よりもずっと低く、安定していました。

💡 まとめ

Lyra は、**「RISC-V という言語を深く理解する AI」「超高速なハードウェア」**を組ませることで、CPU のテストを「目隠しでランダムにやる」状態から、「プロの職人が効率よく仕上げる」状態へと変えた画期的な技術です。

これにより、より複雑で高性能な CPU を、**「より安く、より早く、より確実に」**世に出せるようになるでしょう。