// tadd32pg.e  test the add32pg.e  file with  add32 component
//
//  Note: ecomp ...whatever... add32pg.e tadd32pg.e -o tadd32pg.net
//              ...whatever is files needed to make add32 work
//              or you can be physically included these in file add32pg.e

signal a[32] <= #hFFFFFFFF;
signal b[32] <= #h00000001;    
signal cout;            
signal cin <= #b0;
signal sum[32];
circuits 

  adder use add32(a, b, cin, sum, cout);

end circuits;         // end of top level circuit