Combinational Circuits in Bluespec