Lyra：生成モデルを活用したハードウェアアクセラレーションRISC-V検証フレームワーク

本研究では、ハードウェアアクセラレーションと生成モデルベースのファジングを活用した、RISC-Vプロセッサ検証のための新しいフレームワーク、Lyraを紹介します。これらの技術の統合は、ハードウェア設計に不可欠なプロセッサ検証の効率と有効性の向上を約束します。

• •Lyraは、RISC-Vプロセッサ検証のためにハードウェアアクセラレーションと生成モデルを組み合わせます。
• •このフレームワークは、潜在的なバグを見つけるために、生成モデルベースのファジングを使用します。
• •このアプローチは、プロセッサ検証の速度と徹底性を向上させることを目的としています。