Description Wishbone/BSV transactors Quickstart Create an environment for BSC source env.sh Simulate bsc -sim -u ./test/Tb.bsv bsc -sim -e mkTb ./bsim Create RTL bsc -verilog -u ./test/Tb.bsv References Bluespec Inc., "BSV Training, Eg09: Interfacing to AXI4 Stream", 2013-2016 Dan Gisselquist, "Building Formal Assumptions to Describe Wishbone Behaviour", 2017