1 In Label S_a In Label a Bits 32 In Label b Bits 32 Splitter Input Splitting 64 Output Splitting 32,32 Out Label m0 Bits 32 Out Label m1 Bits 32 Add Bits 64 In Label c Bits 32 BitExtender inputBits 32 outputBits 64 In Label C_i Out Label C_o signed_mul.dig In Label S_b