Verification Engineerの戯言 この暑い夏に、Bluespecを学びたいと思っています。 最初に、Bluespecが公開している文書(チュートリアル)をベースに実際にコンパイル等を行い、 どんな感じになるかを確認しながら進めていきます。 Bluespecが提供しているコン…