import "prs/umul4x4_DIMS.act";
import std::data;
import "minichannel.act";
import "globals.act";

defproc pipelined_mult(aMx1of2?<4> A, B; aMx1of2!<8> RES) {

    pint IN_WIDTH = 4;
    pint OUT_WIDTH = 8;

    umul4x4 mult;
    RES.d.d = mult.s;
    RES.a = mult.ack_in;
    mult.a = A.d.d;
    mult.b = B.d.d;
    A.a = mult.ack_out;
    B.a = mult.ack_out;
    mult.reset = Reset;

}