mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 19:52:31 +00:00
Code Activity

Merge pull request #3978 from jix/fix-sva-test

Browse source 
Fix sva_value_change_changed test for updated verific
This commit is contained in:
Miodrag Milanović 2023-10-03 12:19:10 +02:00 • committed by GitHub
commit 493685b7d2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
tests/sva/sva_value_change_changed.sv
View file

@ -8,9 +8,11 @@ module top (
$changed(b)
);
wire x = 'x;
`ifndef FAIL
assume property (
b !== 'x ##1 $changed(b)
b !== x ##1 $changed(b)
);
`endif