trying to learn bluespec verilog