Bluespecユーザーミーティングに参加してに関して、
「ASICのRTLサインオフの基準を満たすコードを吐き出せていないから」 に対して、Bluespec関係者から誤解があると、ご連絡いただきました。 現状では、 生成されるRTLコードがRTLチェッカーにてWarningが発生するケースは 特定できていて、Black Box処理をすることで対応可能である。 また、ASICユーザーも使っており、運用するには問題がないレベルである。 ということです。 皆さんに誤解があるような表現をしたことをお詫びします。
検証、Verification、Bluespec