`timescale 1ns/1ps

module mult_para_recurs_8x8_2sC (a,b,clk,reset,y);

input[7:0] a,b;
input clk,reset;
output[15:0] y;

  /*---------------------------------------\
  | _Function: always @ posedge clk        |
  |   y(t=0) = a(t-8) * b(t-8)             |
  \---------------------------------------*/

  /*---------------------------------------\
  | _Simulation:                           |
  |                                        |
  \---------------------------------------*/

reg[7:0] aR[8:0];
reg[7:0] bR[8:0];
reg[15:0] yR[8:0];

always @ (posedge clk)
  begin
    aR[7] = aR[6]; // pipeline statements
    bR[7] = bR[6];
    yR[7] = yR[6];
    aR[6] = aR[5];
    bR[6] = bR[5];
    yR[6] = yR[5];
    aR[5] = aR[4];
    bR[5] = bR[4];
    yR[5] = yR[4];
    aR[4] = aR[3];
    bR[4] = bR[3];
    yR[4] = yR[3];
    aR[3] = aR[2];
    bR[3] = bR[2];
    yR[3] = yR[2];
    aR[2] = aR[1];
    bR[2] = bR[1];
    yR[2] = yR[1];
    aR[1] = aR[0];
    bR[1] = bR[0];
    yR[1] = yR[0];
                   // multiply result (a*b) appears after +clk
    aR[0] = a;
    bR[0] = b;
    yR[0] = multiply_8x8_2sC (aR[0],bR[0]);
  end

function[15:0] multiply_8x8_2sC;
input[7:0] a,b;
reg[7:0] a_mag,b_mag;
reg[14:0] y_mag;
reg[14:0] y_neg;
begin
  case (a[7])
    0: a_mag = a[6:0];
    1: a_mag = 128 - a[6:0];        // max(a_mag) = 128, thus 8 bits
  endcase
  case (b[7])
    0: b_mag = b[6:0];
    1: b_mag = 128 - b[6:0];
  endcase
  y_mag = a_mag * b_mag;            // max(y_mag) = 16384, thus 15 bits
  if ((a[7] ^ b[7]) & (y_mag != 0)) // if (a * b) is -ve AND non-zero
  begin                             // y_mag >=1, <= 16256, thus need only 14 bits
    y_neg = 32768 - y_mag[13:0];    // max(y_neg) = 32767, thus need 15 bits
    multiply_8x8_2sC = {1'b1,y_neg}; 
  end
  else
    multiply_8x8_2sC = y_mag;
end
endfunction

//assign y = multiply_8x8_2sC (a,b);
assign y = yR[7];

endmodule

// created by verisplt.awk

/*-------------\
|  _Synthesis  |
\--------------/

Number of designs: 0.

ld { .v };
cu = ;
lint;
ungroup -all -flatten;
wl4;
set_max_fanout 3.5 {  };
set_fanout_load 16 {  };

Design 1. // minimum area by design
dont_touch {  };
compile -map_effort high;
ra;
rn;
rt;
write -f verilog -hierarchy -out .v;
  Area         : 0.0 cells.
  Max. clock   : 0.0 MHz.
  Set-up time  : 0.0 ns.
  Hold time    : 0.0 ns.
  Delay (max)  : 0.0 ns.
  Delay (min)  : 0.0 ns.
  Power (avg)  : 0.0 transitions/clock/MHz.
  Power (pk)   :   0 transitions/clock/MHz.
  Input load   :   0 l.u.
  Output drive :   0 l.u.

*/