# models because apparently they're good to go, already (icarus is a lot
# stricter than verilator, hence the munging below)
+# peripheral fabric
read_ilang build_simsoc/top.il
+
+# main core (any core, it's all good)
+read_verilog ./external_core_top.v
+
+# UART 16550
read_verilog ../uart16550/rtl/verilog/raminfr.v
read_verilog ../uart16550/rtl/verilog/uart_defines.v
read_verilog ../uart16550/rtl/verilog/uart_rfifo.v
read_verilog ../uart16550/rtl/verilog/uart_receiver.v
read_verilog ../uart16550/rtl/verilog/uart_tfifo.v
read_verilog ../uart16550/rtl/verilog/uart_wb.v
+
+# Tercel QSPI
read_verilog ../tercel-qspi/tercel/phy.v
read_verilog ../tercel-qspi/tercel/wishbone_spi_master.v
-read_verilog ../ethmac/rtl/verilog
-read_verilog ../ethmac/rtl/verilog/eth_clockgen.v
-read_verilog ../ethmac/rtl/verilog/eth_cop.v
-read_verilog ../ethmac/rtl/verilog/eth_crc.v
-read_verilog ../ethmac/rtl/verilog/eth_fifo.v
-read_verilog ../ethmac/rtl/verilog/eth_maccontrol.v
-read_verilog ../ethmac/rtl/verilog/ethmac_defines.v
-read_verilog ../ethmac/rtl/verilog/eth_macstatus.v
-read_verilog ../ethmac/rtl/verilog/ethmac.v
-read_verilog ../ethmac/rtl/verilog/eth_miim.v
-read_verilog ../ethmac/rtl/verilog/eth_outputcontrol.v
-read_verilog ../ethmac/rtl/verilog/eth_random.v
-read_verilog ../ethmac/rtl/verilog/eth_receivecontrol.v
-read_verilog ../ethmac/rtl/verilog/eth_registers.v
-read_verilog ../ethmac/rtl/verilog/eth_register.v
-read_verilog ../ethmac/rtl/verilog/eth_rxaddrcheck.v
-read_verilog ../ethmac/rtl/verilog/eth_rxcounters.v
-read_verilog ../ethmac/rtl/verilog/eth_rxethmac.v
-read_verilog ../ethmac/rtl/verilog/eth_rxstatem.v
-read_verilog ../ethmac/rtl/verilog/eth_shiftreg.v
-read_verilog ../ethmac/rtl/verilog/eth_spram_256x32.v
-read_verilog ../ethmac/rtl/verilog/eth_top.v
-read_verilog ../ethmac/rtl/verilog/eth_transmitcontrol.v
-read_verilog ../ethmac/rtl/verilog/eth_txcounters.v
-read_verilog ../ethmac/rtl/verilog/eth_txethmac.v
-read_verilog ../ethmac/rtl/verilog/eth_txstatem.v
-read_verilog ../ethmac/rtl/verilog/eth_wishbone.v
-read_verilog ../ethmac/rtl/verilog/timescale.v
-read_verilog ./external_core_top.v
+# WB Async Bridge
+read_verilog ../verilog-wishbone/rtl/wb_async_reg.v
+
+# errors in the ethmac rtl, comment out for now
+#read_verilog ../ethmac/rtl/verilog/eth_clockgen.v
+#read_verilog ../ethmac/rtl/verilog/eth_cop.v
+#read_verilog ../ethmac/rtl/verilog/eth_crc.v
+#read_verilog ../ethmac/rtl/verilog/eth_fifo.v
+#read_verilog ../ethmac/rtl/verilog/eth_maccontrol.v
+#read_verilog ../ethmac/rtl/verilog/ethmac_defines.v
+#read_verilog ../ethmac/rtl/verilog/eth_macstatus.v
+#read_verilog ../ethmac/rtl/verilog/ethmac.v
+#read_verilog ../ethmac/rtl/verilog/eth_miim.v
+#read_verilog ../ethmac/rtl/verilog/eth_outputcontrol.v
+#read_verilog ../ethmac/rtl/verilog/eth_random.v
+#read_verilog ../ethmac/rtl/verilog/eth_receivecontrol.v
+#read_verilog ../ethmac/rtl/verilog/eth_registers.v
+#read_verilog ../ethmac/rtl/verilog/eth_register.v
+#read_verilog ../ethmac/rtl/verilog/eth_rxaddrcheck.v
+#read_verilog ../ethmac/rtl/verilog/eth_rxcounters.v
+#read_verilog ../ethmac/rtl/verilog/eth_rxethmac.v
+#read_verilog ../ethmac/rtl/verilog/eth_rxstatem.v
+#read_verilog ../ethmac/rtl/verilog/eth_shiftreg.v
+#read_verilog ../ethmac/rtl/verilog/eth_spram_256x32.v
+#read_verilog ../ethmac/rtl/verilog/eth_top.v
+#read_verilog ../ethmac/rtl/verilog/eth_transmitcontrol.v
+#read_verilog ../ethmac/rtl/verilog/eth_txcounters.v
+#read_verilog ../ethmac/rtl/verilog/eth_txethmac.v
+#read_verilog ../ethmac/rtl/verilog/eth_txstatem.v
+#read_verilog ../ethmac/rtl/verilog/eth_wishbone.v
+#read_verilog ../ethmac/rtl/verilog/timescale.v
# stop yosys deleting stuff
setattr -mod -set keep 1 uart_transmitter