designing combinational circuits with bluespec 2469854