tmeissner
/
bug_reports
1
0
Fork 0
Code Issues 0 Pull Requests 0 Releases 0 Wiki Activity

No commits in common. '6199e39725bbd42307e3eb4186ac063e831a6635' and 'b0d52f1534247fdcedb4a4ed79a4361f06dfc100' have entirely different histories.
6199e39725 ... b0d52f1534

1 changed files with 1 additions and 1 deletions
Split View
Diff Options
Show Stats
  1. +1
    -1
      symbiotic_01/Properties.sv

+ 1
- 1
symbiotic_01/Properties.sv View File

@ -27,7 +27,7 @@ module Properties (
default disable iff (!resetn);
assert property (we[0] -> sel == 0);
assert property (we[0] |=> sel == 0);
endmodule


Write Preview
Loading…
Cancel
Save