

test: testspi testAdapter

testspi: ConnectalSpi.bsv
	bsc -check-assert -sim -u -g mkSpiTestBench ConnectalSpi.bsv
	bsc -check-assert -sim -u -e mkSpiTestBench -o spiTestBench mkSpiTestBench.ba
	./spiTestBench -V spi.vcd

testgearbox: GearboxTb.bsv
	bsc -sim -u -g mkGearboxTb GearboxTb.bsv
	bsc -sim -u -e mkGearboxTb -o testGearbox mkGearboxTb.ba
	./testGearbox

mkGearboxTb.v: GearboxTb.bsv
	bsc -verilog -u -g mkGearboxTb GearboxTb.bsv

testAdapter: Adapter.bsv
	bsc -p +:../lib/bsv -check-assert -sim -u -g mkAdapterTb Adapter.bsv
	bsc -check-assert -sim -u -e mkAdapterTb -o testAdapter mkAdapterTb.ba
	./testAdapter

testConnectalReadyQueue: ConnectalReadyQueue.bsv
	bsc -check-assert -sim -u -g mkRQTB ConnectalReadyQueue.bsv
	bsc -check-assert -sim -u -e mkRQTB -o testConnectalReadyQueue mkRQTB.ba
	./testConnectalReadyQueue

mkSPI20.v: ConnectalSpi.bsv
	bsc -verilog -u -g mkSPI20 ConnectalSpi.bsv
