Build a 32-bit synchronous up/down counter. The inputs are reset and up. When reset is 1, the outputs are all 0. Otherwise, when up=1, the circuit counts up, when up=0, the circuit counts down.