Verification Engineerの戯言 AVM 2.0とAVM 3.0では、微妙に違う。 検証モデルは、AVM 2.0ならavm_verification_componentクラスを継承するが、 AVM 3.0ではavm_threaded_componentクラスに変わった。 Environmentであるavm_envクラスは、"AVM 3.0"ではavm_n…