rec_df_ram1_96x32.v

H.264标准解码器全部verilog源码

  int_CEN = 1'bx;
  wipe_memory_output;
end

always @(mpwCK_notifier) begin
  $display ("%m CLK cycle timing violation detected %t", $realtime);
  #0.001;
  wipe_memory_output;
  risingTmp = 1'b0;
end


// CEN violation
always @(shCEN_notifier) begin
  int_CEN = 1'bx;
  $display ("%m Cell enable timing violation detected %t", $realtime);
  wipe_memory_output;
end

// ADR violation
always @(shADR_notifier) begin
  int_ADR = x_adr;
  $display ("%m Address timing violation detected %t", $realtime);
  ADR_error;
end

// WEN violation
always @(shWEN_notifier) begin
  int_WEN = 1'bx;
  $display ("%m Write enable timing violation detected %t", $realtime);
  if( ^int_ADR !== 1'bx)
  	  SHWrite_error;
end


// DI violation
always @(shDI_notifier) begin
  int_DI = x_data;
  $display ("%m Input data timing violation detected %t", $realtime);
  if( ^int_ADR !== 1'bx)
  	  SHWrite_error;
end



specify

    // Path delays
   if (rflag)  (CK *> DOUT[0]) = 0.1;
   if (wflag)  (CK *> DOUT[0]) = 0.1;
   if (rflag)  (CK *> DOUT[1]) = 0.1;
   if (wflag)  (CK *> DOUT[1]) = 0.1;
   if (rflag)  (CK *> DOUT[2]) = 0.1;
   if (wflag)  (CK *> DOUT[2]) = 0.1;
   if (rflag)  (CK *> DOUT[3]) = 0.1;
   if (wflag)  (CK *> DOUT[3]) = 0.1;
   if (rflag)  (CK *> DOUT[4]) = 0.1;
   if (wflag)  (CK *> DOUT[4]) = 0.1;
   if (rflag)  (CK *> DOUT[5]) = 0.1;
   if (wflag)  (CK *> DOUT[5]) = 0.1;
   if (rflag)  (CK *> DOUT[6]) = 0.1;
   if (wflag)  (CK *> DOUT[6]) = 0.1;
   if (rflag)  (CK *> DOUT[7]) = 0.1;
   if (wflag)  (CK *> DOUT[7]) = 0.1;
   if (rflag)  (CK *> DOUT[8]) = 0.1;
   if (wflag)  (CK *> DOUT[8]) = 0.1;
   if (rflag)  (CK *> DOUT[9]) = 0.1;
   if (wflag)  (CK *> DOUT[9]) = 0.1;
   if (rflag)  (CK *> DOUT[10]) = 0.1;
   if (wflag)  (CK *> DOUT[10]) = 0.1;
   if (rflag)  (CK *> DOUT[11]) = 0.1;
   if (wflag)  (CK *> DOUT[11]) = 0.1;
   if (rflag)  (CK *> DOUT[12]) = 0.1;
   if (wflag)  (CK *> DOUT[12]) = 0.1;
   if (rflag)  (CK *> DOUT[13]) = 0.1;
   if (wflag)  (CK *> DOUT[13]) = 0.1;
   if (rflag)  (CK *> DOUT[14]) = 0.1;
   if (wflag)  (CK *> DOUT[14]) = 0.1;
   if (rflag)  (CK *> DOUT[15]) = 0.1;
   if (wflag)  (CK *> DOUT[15]) = 0.1;
   if (rflag)  (CK *> DOUT[16]) = 0.1;
   if (wflag)  (CK *> DOUT[16]) = 0.1;
   if (rflag)  (CK *> DOUT[17]) = 0.1;
   if (wflag)  (CK *> DOUT[17]) = 0.1;
   if (rflag)  (CK *> DOUT[18]) = 0.1;
   if (wflag)  (CK *> DOUT[18]) = 0.1;
   if (rflag)  (CK *> DOUT[19]) = 0.1;
   if (wflag)  (CK *> DOUT[19]) = 0.1;
   if (rflag)  (CK *> DOUT[20]) = 0.1;
   if (wflag)  (CK *> DOUT[20]) = 0.1;
   if (rflag)  (CK *> DOUT[21]) = 0.1;
   if (wflag)  (CK *> DOUT[21]) = 0.1;
   if (rflag)  (CK *> DOUT[22]) = 0.1;
   if (wflag)  (CK *> DOUT[22]) = 0.1;
   if (rflag)  (CK *> DOUT[23]) = 0.1;
   if (wflag)  (CK *> DOUT[23]) = 0.1;
   if (rflag)  (CK *> DOUT[24]) = 0.1;
   if (wflag)  (CK *> DOUT[24]) = 0.1;
   if (rflag)  (CK *> DOUT[25]) = 0.1;
   if (wflag)  (CK *> DOUT[25]) = 0.1;
   if (rflag)  (CK *> DOUT[26]) = 0.1;
   if (wflag)  (CK *> DOUT[26]) = 0.1;
   if (rflag)  (CK *> DOUT[27]) = 0.1;
   if (wflag)  (CK *> DOUT[27]) = 0.1;
   if (rflag)  (CK *> DOUT[28]) = 0.1;
   if (wflag)  (CK *> DOUT[28]) = 0.1;
   if (rflag)  (CK *> DOUT[29]) = 0.1;
   if (wflag)  (CK *> DOUT[29]) = 0.1;
   if (rflag)  (CK *> DOUT[30]) = 0.1;
   if (wflag)  (CK *> DOUT[30]) = 0.1;
   if (rflag)  (CK *> DOUT[31]) = 0.1;
   if (wflag)  (CK *> DOUT[31]) = 0.1;

 (OEN *> DOUT[0]) = 0.1; 
 (OEN *> DOUT[1]) = 0.1; 
 (OEN *> DOUT[2]) = 0.1; 
 (OEN *> DOUT[3]) = 0.1; 
 (OEN *> DOUT[4]) = 0.1; 
 (OEN *> DOUT[5]) = 0.1; 
 (OEN *> DOUT[6]) = 0.1; 
 (OEN *> DOUT[7]) = 0.1; 
 (OEN *> DOUT[8]) = 0.1; 
 (OEN *> DOUT[9]) = 0.1; 
 (OEN *> DOUT[10]) = 0.1; 
 (OEN *> DOUT[11]) = 0.1; 
 (OEN *> DOUT[12]) = 0.1; 
 (OEN *> DOUT[13]) = 0.1; 
 (OEN *> DOUT[14]) = 0.1; 
 (OEN *> DOUT[15]) = 0.1; 
 (OEN *> DOUT[16]) = 0.1; 
 (OEN *> DOUT[17]) = 0.1; 
 (OEN *> DOUT[18]) = 0.1; 
 (OEN *> DOUT[19]) = 0.1; 
 (OEN *> DOUT[20]) = 0.1; 
 (OEN *> DOUT[21]) = 0.1; 
 (OEN *> DOUT[22]) = 0.1; 
 (OEN *> DOUT[23]) = 0.1; 
 (OEN *> DOUT[24]) = 0.1; 
 (OEN *> DOUT[25]) = 0.1; 
 (OEN *> DOUT[26]) = 0.1; 
 (OEN *> DOUT[27]) = 0.1; 
 (OEN *> DOUT[28]) = 0.1; 
 (OEN *> DOUT[29]) = 0.1; 
 (OEN *> DOUT[30]) = 0.1; 
 (OEN *> DOUT[31]) = 0.1; 



    // Timing check parameters
  specparam tsadrl = 0;
  specparam thadrl = 0;
  specparam tsadrh = 0;
  specparam thadrh = 0;
  specparam tsdil = 0;
  specparam tsdih = 0;
  specparam thdil = 0;
  specparam thdih = 0;
  specparam tscenl = 0;
  specparam thcenl = 0;
  specparam tscenh = 0;
  specparam thcenh = 0;
  specparam tswenl = 0;
  specparam thwenl = 0;
  specparam tswenh = 0;
  specparam thwenh = 0;
  specparam tcyc = 0;
  specparam tlck = 0;
  specparam thck = 0;

    // Timing checks
  $setuphold(posedge CK, negedge CEN, tscenl, thcenl, shCEN_notifier);
  $setuphold(posedge CK, posedge CEN, tscenh, thcenh, shCEN_notifier);

  $setuphold(posedge CK &&& (CEN===1'b0), negedge ADR[0], tsadrl, thadrl, shADR_notifier);
  $setuphold(posedge CK &&& (CEN===1'b0), posedge ADR[0], tsadrh, thadrh, shADR_notifier);
  $setuphold(posedge CK &&& (CEN===1'b0), negedge ADR[1], tsadrl, thadrl, shADR_notifier);
  $setuphold(posedge CK &&& (CEN===1'b0), posedge ADR[1], tsadrh, thadrh, shADR_notifier);
  $setuphold(posedge CK &&& (CEN===1'b0), negedge ADR[2], tsadrl, thadrl, shADR_notifier);
  $setuphold(posedge CK &&& (CEN===1'b0), posedge ADR[2], tsadrh, thadrh, shADR_notifier);
  $setuphold(posedge CK &&& (CEN===1'b0), negedge ADR[3], tsadrl, thadrl, shADR_notifier);
  $setuphold(posedge CK &&& (CEN===1'b0), posedge ADR[3], tsadrh, thadrh, shADR_notifier);
  $setuphold(posedge CK &&& (CEN===1'b0), negedge ADR[4], tsadrl, thadrl, shADR_notifier);
  $setuphold(posedge CK &&& (CEN===1'b0), posedge ADR[4], tsadrh, thadrh, shADR_notifier);
  $setuphold(posedge CK &&& (CEN===1'b0), negedge ADR[5], tsadrl, thadrl, shADR_notifier);
  $setuphold(posedge CK &&& (CEN===1'b0), posedge ADR[5], tsadrh, thadrh, shADR_notifier);
  $setuphold(posedge CK &&& (CEN===1'b0), negedge ADR[6], tsadrl, thadrl, shADR_notifier);
  $setuphold(posedge CK &&& (CEN===1'b0), posedge ADR[6], tsadrh, thadrh, shADR_notifier);

  $setuphold(posedge CK &&& (CEN===1'b0), negedge WEN, tswenl, thwenl, shWEN_notifier);
  $setuphold(posedge CK &&& (CEN===1'b0), posedge WEN, tswenh, thwenh, shWEN_notifier);

  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[0], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[0], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[1], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[1], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[2], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[2], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[3], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[3], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[4], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[4], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[5], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[5], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[6], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[6], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[7], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[7], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[8], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[8], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[9], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[9], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[10], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[10], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[11], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[11], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[12], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[12], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[13], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[13], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[14], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[14], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[15], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[15], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[16], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[16], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[17], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[17], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[18], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[18], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[19], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[19], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[20], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[20], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[21], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[21], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[22], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[22], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[23], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[23], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[24], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[24], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[25], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[25], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[26], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[26], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[27], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[27], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[28], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[28], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[29], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[29], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[30], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[30], tsdih, thdih, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), negedge DI[31], tsdil, thdil, shDI_notifier);
  $setuphold(posedge CK &&& (chk_DI===1'b1), posedge DI[31], tsdih, thdih, shDI_notifier);

  $period(posedge CK, tcyc, mpwCK_notifier);
  $width(negedge CK, tlck, 0, mpwCK_notifier);
  $width(posedge CK, thck, 0, pwhCK_notifier);

endspecify

endmodule
`endcelldefine