github-mirrors/cva6
1
0
Fork 0
mirror of https://github.com/openhwgroup/cva6.git synced 2025-04-22 05:07:21 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions 5

Clean-up LSU signals

Browse source
This commit is contained in:
Florian Zaruba 2017-06-27 19:37:12 +02:00
parent 3fbd7cbf6a
commit ac731f47f2
3 changed files with 3 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/dcache_arbiter.sv
View file

@ -177,7 +177,7 @@ module dcache_arbiter #(
else begin $error("There was a grant without a request."); $stop(); end
// assert that the address does not contain X when request is sent
assert property ( @(posedge clk_i) (data_req_o) |-> (!$isunknown(address_index_o)) )
else begin $error("address contains X when request is set"); $stop(); end
else begin $info("address contains X when request is set"); end
// there should be no rvalid when we are in IDLE
// assert property (

2
src/lsu.sv
View file

@ -87,8 +87,6 @@ module lsu #(
// e.g.: they keep the value in the stall case
lsu_ctrl_t lsu_ctrl;
logic lsu_ctrl_full;
lsu_ctrl_t lsu_ctrl_o;
logic pop_st;
logic pop_ld;

4
tb/wave/wave_core.do
View file

@ -21,8 +21,8 @@ add wave -noupdate -group ex_stage -group lsu -group mmu /core_tb/dut/ex_stage_i
add wave -noupdate -group ex_stage -group lsu -group mmu -group itlb /core_tb/dut/ex_stage_i/lsu_i/mmu_i/itlb_i/*
add wave -noupdate -group ex_stage -group lsu -group mmu -group dtlb /core_tb/dut/ex_stage_i/lsu_i/mmu_i/dtlb_i/*
add wave -noupdate -group ex_stage -group lsu -group mmu -group ptw /core_tb/dut/ex_stage_i/lsu_i/mmu_i/ptw_i/*
add wave -noupdate -group ex_stage -group lsu -group mem_arbiter /core_tb/dut/ex_stage_i/lsu_i/dcache_arbiter_i/*
add wave -noupdate -group ex_stage -group lsu -group mem_arbiter -group arbiter_fifo /core_tb/dut/ex_stage_i/lsu_i/dcache_arbiter_i/fifo_i/*
add wave -noupdate -group ex_stage -group lsu -group dcache_arbiter /core_tb/dut/ex_stage_i/lsu_i/dcache_arbiter_i/*
add wave -noupdate -group ex_stage -group lsu -group dcache_arbiter -group arbiter_fifo /core_tb/dut/ex_stage_i/lsu_i/dcache_arbiter_i/fifo_i/*
add wave -noupdate -group ex_stage -group lsu -group store_unit /core_tb/dut/ex_stage_i/lsu_i/store_unit_i/*
add wave -noupdate -group ex_stage -group lsu -group store_unit -group store_buffer /core_tb/dut/ex_stage_i/lsu_i/store_unit_i/store_buffer_i/*
add wave -noupdate -group ex_stage -group lsu -group load_unit /core_tb/dut/ex_stage_i/lsu_i/load_unit_i/*