// CBG Orangepath HPR L/S System

// Verilog output file generated at 12/02/2017 22:43:40
// Kiwi Scientific Acceleration (KiwiC .net/CIL/C# to Verilog/SystemC compiler): Version alpha 0.3.1 : 7th-Feb-2017 Unix 3.19.8.100
//  /home/djg11/d320/hprls/kiwipro/kiwic/distro/lib/kiwic.exe -print-limit=20 -kiwic-register-colours=1 -vnl-resets=asynchronous -vnl-roundtrip=disable -kiwic-kcode-dump=enable -bevelab-default-pause-mode=hard -bevelab-soft-pause-threshold=150 -kiwic-autodispose=enable -res2-loadstore-port-count=0 -vnl-rootmodname DUT bittally.exe -vnl bittally.v
`timescale 1ns/1ns


module DUT(output reg done, input clk, input reset);
  integer bench_T403_Main_T403_Main_V_0;
  reg [1:0] xpc10nz;
 always   @(posedge clk or posedge reset )  begin 
      //Start structure HPR bittally
      if (reset)  begin 
               done <= 32'd0;
               bench_T403_Main_T403_Main_V_0 <= 32'd0;
               xpc10nz <= 32'd0;
               end 
               else 
          case (xpc10nz)
              32'sd0/*0:xpc10nz*/:  begin 
                  $display("%s%1d", "BitTally 01 Limit=", 32'sh5f5_e100);
                   done <= 1'h0;
                   bench_T403_Main_T403_Main_V_0 <= 2'sd1;
                   xpc10nz <= 2'sd1/*1:xpc10nz*/;
                   end 
                  
              2'sd1/*1:xpc10nz*/:  begin 
                  $display("   value=%H  has %1d ones (decimal).", $signed(32'd51*bench_T403_Main_T403_Main_V_0), $unsigned($unsigned($unsigned($unsigned($unsigned($unsigned($unsigned($unsigned($unsigned($unsigned($unsigned($unsigned($unsigned($unsigned($unsigned($unsigned($unsigned($unsigned($unsigned($unsigned($unsigned($unsigned($unsigned($unsigned($unsigned($unsigned($unsigned($unsigned($unsigned($unsigned($unsigned($unsigned(32'h0
                  +(2'sd1&$signed(32'd51*bench_T403_Main_T403_Main_V_0)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0)>>2'sd1
                  )))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0)>>2'sd2)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0
                  )>>32'sd3)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0)>>32'sd4)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0
                  )>>32'sd5)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0)>>32'sd6)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0
                  )>>32'sd7)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0)>>32'sd8)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0
                  )>>32'sd9)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0)>>32'sd10)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0
                  )>>32'sd11)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0)>>32'sd12)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0
                  )>>32'sd13)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0)>>32'sd14)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0
                  )>>32'sd15)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0)>>32'sd16)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0
                  )>>32'sd17)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0)>>32'sd18)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0
                  )>>32'sd19)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0)>>32'sd20)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0
                  )>>32'sd21)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0)>>32'sd22)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0
                  )>>32'sd23)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0)>>32'sd24)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0
                  )>>32'sd25)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0)>>32'sd26)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0
                  )>>32'sd27)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0)>>32'sd28)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0
                  )>>32'sd29)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0)>>32'sd30)))+(2'sd1&($signed(32'd51*bench_T403_Main_T403_Main_V_0
                  )>>32'sd31))));
                  if ((32'sh5f5_e100<32'sd21*bench_T403_Main_T403_Main_V_0)) $display(" Test BitTally finished.");
                      if ((32'sh5f5_e100<32'sd21*bench_T403_Main_T403_Main_V_0))  begin 
                           done <= 1'h1;
                           bench_T403_Main_T403_Main_V_0 <= 32'sd21*bench_T403_Main_T403_Main_V_0;
                           xpc10nz <= 2'sd2/*2:xpc10nz*/;
                           end 
                           else  begin 
                           bench_T403_Main_T403_Main_V_0 <= 32'sd21*bench_T403_Main_T403_Main_V_0;
                           xpc10nz <= 2'sd1/*1:xpc10nz*/;
                           end 
                           end 
                  
              2'sd2/*2:xpc10nz*/:  begin 
                  $finish(32'sd0);
                   xpc10nz <= 2'sd2/*2:xpc10nz*/;
                   end 
                  endcase
      //End structure HPR bittally


       end 
      

// 1 vectors of width 2
// 32 bits in scalar variables
// Total state bits in module = 34 bits.
// Total number of leaf cells = 0
endmodule