Verification Engineerの戯言 vmm_xvc_tcl_execute_file関数は、vmm_xvc_managerクラスからどのように呼ばれるのでしょうか？ README.txtに次のように書いてありました。 When used on a non-VCS simulator, it will be necessary to include the file $VMM_…