Verification Engineerの戯言 ModelSim DEなるものがリリースされた。 ModelSim PEに対して、Debug機能とCode Coverageを追加した感じ。Assertion-Based Verificationも！ Assertion-Based Verificationは、ModelSim PEでも使えるようだが、、、 ModelSim PE…