systemverilog-plugin/tests/translate_off/translate_off.tcl - yosys-symbiflow-plugins - Git at Google

 yosys -import
 if { [info procs read_uhdm] == {} } { plugin -i systemverilog }
 yosys -import  ;# ingest plugin commands

 set TMP_DIR $::env(TEST_OUTPUT_PREFIX)/tmp
 file mkdir $TMP_DIR

 read_systemverilog -o $TMP_DIR $::env(DESIGN_TOP).v
	yosys -import
	if { [info procs read_uhdm] == {} } { plugin -i systemverilog }
	yosys -import ;# ingest plugin commands

	set TMP_DIR $::env(TEST_OUTPUT_PREFIX)/tmp
	file mkdir $TMP_DIR

	read_systemverilog -o $TMP_DIR $::env(DESIGN_TOP).v