[dv/sram] minor updates to sram tb
this PR fixes a few unaligned statements and some minor style fixes
Signed-off-by: Udi Jonnalagadda <udij@google.com>
diff --git a/hw/ip/sram_ctrl/dv/env/seq_lib/sram_ctrl_base_vseq.sv b/hw/ip/sram_ctrl/dv/env/seq_lib/sram_ctrl_base_vseq.sv
index e086082..9dcf9f1 100644
--- a/hw/ip/sram_ctrl/dv/env/seq_lib/sram_ctrl_base_vseq.sv
+++ b/hw/ip/sram_ctrl/dv/env/seq_lib/sram_ctrl_base_vseq.sv
@@ -29,7 +29,6 @@
virtual task dut_shutdown();
// check for pending sram_ctrl operations and wait for them to complete
- // TODO
endtask
// setup basic sram_ctrl features
@@ -76,7 +75,7 @@
bit we;
repeat (num_ops) begin
`DV_CHECK_STD_RANDOMIZE_FATAL(data)
- `DV_CHECK_STD_RANDOMIZE_WITH_FATAL(we, we inside {0, 1};)
+ `DV_CHECK_STD_RANDOMIZE_FATAL(we)
`DV_CHECK_STD_RANDOMIZE_FATAL(addr)
tl_access(.addr(addr),
diff --git a/hw/ip/sram_ctrl/dv/env/seq_lib/sram_ctrl_multiple_keys_vseq.sv b/hw/ip/sram_ctrl/dv/env/seq_lib/sram_ctrl_multiple_keys_vseq.sv
index 12ffbdd..fd0f344 100644
--- a/hw/ip/sram_ctrl/dv/env/seq_lib/sram_ctrl_multiple_keys_vseq.sv
+++ b/hw/ip/sram_ctrl/dv/env/seq_lib/sram_ctrl_multiple_keys_vseq.sv
@@ -10,7 +10,7 @@
// Use 2 as the low end since `num_trans == 1` is the default for the smoke test.
constraint num_trans_c {
num_trans dist {
- [2 : 13] :/ 2,
+ [2 : 13] :/ 2,
[14 : 25] :/ 3,
[25 : 37] :/ 4,
[38 : 50] :/ 1
diff --git a/hw/ip/sram_ctrl/dv/env/seq_lib/sram_ctrl_smoke_vseq.sv b/hw/ip/sram_ctrl/dv/env/seq_lib/sram_ctrl_smoke_vseq.sv
index 0b60326..3b0127e 100644
--- a/hw/ip/sram_ctrl/dv/env/seq_lib/sram_ctrl_smoke_vseq.sv
+++ b/hw/ip/sram_ctrl/dv/env/seq_lib/sram_ctrl_smoke_vseq.sv
@@ -27,7 +27,7 @@
// If this is too much, modify the constraint.
constraint num_ops_c {
num_ops dist {
- [1 : 999] :/ 1,
+ [1 : 999 ] :/ 1,
[1000 : 4999] :/ 3,
[5000 : 9999] :/ 5,
10_000 :/ 1
