| 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 -formal $::env(DESIGN_TOP).v | |
| hierarchy | |
| write_verilog |