FastLEC：ハイブリッドエンジンによる並列データパス等価性検証

この記事は、並列処理技術とハイブリッドエンジンを使用して、ハードウェア設計におけるデータパスの等価性を検証する新しいアプローチを提示している可能性があります。ハードウェア実装の正確性を保証するために不可欠な等価性検証プロセスの効率と速度の向上に焦点を当てています。「ハイブリッドエンジン」の使用は、パフォーマンスを最適化するために、それぞれのアプローチの強みを活用する可能性のある、さまざまな計算アプローチの組み合わせを示唆しています。ソースがArXivであることは、これが研究論文であることを示しています。

• •データパス等価性検証の効率向上に焦点を当てています。
• •パフォーマンス向上のために並列処理とハイブリッドエンジンを利用しています。
• •ハードウェア設計検証の重要な側面に対処しています。