bluespec combinational circuits 1935556