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

Add state_dependent_path_declaration so that ifnone can be parsed

Browse source
This commit is contained in:
Michael Kupfer 2025-05-14 20:23:29 +02:00 • committed by Emil J. Tywoniak
parent 012ddc2f1e
commit 75316e8c49
3 changed files with 77 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

27
tests/verilog/specify-ifnone.ys Normal file
View file

@ -0,0 +1,27 @@
# ifnone gets parsed and ignored without -specify
logger -expect-no-warnings
read_verilog << EOF
module dut1 (i, o);
output o;
input i;
specify
if (a ^ (* meow *) 1 == 1'b0)
(i => o) = 1;
ifnone (i => o) = 0;
endspecify
endmodule
EOF
# ifnone is still an error with -specify
logger -expect error "syntax error" 1
read_verilog -specify << EOF
module dut2 (i, o);
output o;
input i;
specify
if (a ^ (* meow *) 1 == 1'b0)
(i => o) = 1;
ifnone (i => o) = 0;
endspecify
endmodule
EOF