Isabel Garcia-Contreras

新しいアプローチで、モジュール間のコミュニケーションを改善してSATソルバーの効率がアップするよ。

Btor2MLIRは、効率的なハードウェア検証のための柔軟なツールチェーンを提供するよ。