Hands-on Introduction to Bluespec System Verilog (BSV) | IEEE Conference Publication | IEEE Xplore