// tbmul32.e  a test circuit for bmul32
//           uses add32.e and bmul32.e components


// main circuit to test the multiplier 
// checking is manual via  tbmul32.run
// or use 'diff' on tbmul32.chk

  signal a[32] <= #h00000002; // multiplier
  signal b[32] <= #h00000002; // multiplicand
  signal c[64]; // product  2 x 2 should be 4
circuits

  mul use bmul32(a, b, c);

end circuits;