read_verilog badger/tests/hw_test.v badger/tests/rtefi_blob.v badger/rtefi_center.v badger/scanner.v badger/pbuf_writer.v badger/udp_port_cam.v badger/crc8e_guts.v badger/construct.v badger/tests/construct_tx_table.v badger/ones_chksum.v badger/xformer.v badger/ethernet_crc_add.v badger/hack_icmp_cksum.v dsp/reg_delay.v badger/mac_subset.v badger/precog.v badger/test_tx_mac.v badger/hello.v badger/speed_test.v badger/mem_gateway.v badger/spi_flash.v badger/spi_flash_engine.v badger/tests/mac_compat_dpram.v homeless/activity.v badger/base_rx_mac.v badger/tests/lb_demo_slave.v dsp/freq_count.v badger/tests/fake_config_romx.v dsp/dpram.v badger/tests/spi_gate.v

hierarchy -simcheck -top hw_test

select t:$meminit_v2
delete
select -clear
proc
select t:$memrd t:$memrd_v2 t:$memwr_v2
setattr -set keep_hierarchy 1
select -clear
flatten -wb hw_test
opt -purge
opt -fast -purge
synth -run :coarse
techmap
opt -fast -purge
hierarchy -check
stat
check

write_json hw_test.test.json