OpenCores
URL https://opencores.org/ocsvn/zap/zap/trunk

Subversion Repositories zap

[/] [zap/] [trunk/] [src/] [rtl/] [cpu/] [zap_cache.v] - Diff between revs 43 and 51

Show entire file | Details | Blame | View Log

Rev 43 Rev 51
Line 319... Line 319...
        o_wb_cti_nxt = wb_cti[state_nxt];
        o_wb_cti_nxt = wb_cti[state_nxt];
        o_wb_sel_nxt = wb_sel[state_nxt];
        o_wb_sel_nxt = wb_sel[state_nxt];
        o_wb_wen_nxt = wb_wen[state_nxt];
        o_wb_wen_nxt = wb_wen[state_nxt];
end
end
 
 
// assertions_start
// synopsys translate_off
        reg     xerr = 0;
        reg     xerr = 0;
 
 
        always @ (posedge i_clk)
        always @ (posedge i_clk)
        begin
        begin
                // Check if data delivered to processor is 'x'.
                // Check if data delivered to processor is 'x'.
                if ( o_dat[0] === 1'dx && o_ack && i_rd )
                if ( o_dat[0] === 1'dx && o_ack && i_rd )
                begin
                begin
                        $display($time, "Error : %m Data went to x when giving data to core.");
 
                        xerr = xerr + 1;
                        xerr = xerr + 1;
 
                        $display($time, "Error : %m Data went to x when giving data to core.");
                        $stop;
                        $stop;
                end
                end
        end
        end
// assertions_end
// synopsys translate_on        
 
 
endmodule // zap_cache
endmodule // zap_cache
 
 
`default_nettype wire
`default_nettype wire
 
 
 No newline at end of file
 No newline at end of file

powered by: WebSVN 2.1.0

© copyright 1999-2022 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.