mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-06 22:34:07 +00:00
Code Activity

Merge pull request #159 from jix/fix-dpmem-example

Browse source 
examples: Fix use of SVA value change expressions
This commit is contained in:
Jannis Harder 2022-05-11 11:23:57 +02:00 committed by GitHub
parent 832888f0f0 fedfae0e9c
commit d10e472edf
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
docs/examples/multiclk/dpmem.sv
View file

@ -47,9 +47,9 @@ module top (
(* gclk *) reg gclk;
always @(posedge gclk) begin
assume ($stable(rc) || $stable(wc));
if (!init) begin
assume ($stable(rc) || $stable(wc));
if ($rose(rc) && shadow_valid && shadow_addr == $past(ra)) begin
assert (shadow_data == rd);
end