Verification Engineerの戯言 Open Source VMMでは、VMM本にはないものが追加されました。 (その前から追加されていましたが、オープンになっていなかったので)。 1)、vmm_subenvクラス 2)、vmm_consensus/vmm_voterクラス 3)、VMM Standard Library Customi…