A tool to support Bluespec SystemVerilog coding based on UML diagrams | IEEE Conference Publication | IEEE Xplore