Service required for curriculum development in the areas of Bluespec RTL Design, Verification and FPGA Optimization