Mingxuan Yuan

RTLRewriterはRTLコードの最適化を強化して、デジタル回路設計をもっと効率的にするよ。

新しいアプローチで、機械学習を使ってハードウェア回路設計が改善される。

VeriDistillは機械学習を使って回路設計の効率と精度を向上させるんだ。