mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-09-17 07:01:31 +00:00
Code Activity

cutpoint_blackbox.ys: Add verific-style unknown module

Browse source
This commit is contained in:
Krystine Sherwin 2025-08-06 16:51:14 +12:00
parent bc0f70563a
commit 1bf9530fcc
No known key found for this signature in database
1 changed files with 17 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

17
tests/various/cutpoint_blackbox.ys
View file

@ -70,3 +70,20 @@ design -load gold
select -read cutpoint.gate.sel select -read cutpoint.gate.sel
# nothing in gold but not gate # nothing in gold but not gate
select -assert-none % %n select -assert-none % %n
# replacing the blackbox with a verific-style unknown module should work too
# (note this specific example loses the values of SOME_PARAM which would
# normally be retained by verific)
design -load hier
delete =bb
read_rtlil << EOT
attribute \blackbox 1
module \bb
parameter \SOME_PARAM 0
wire inout 3 \o
wire inout 2 \b
wire inout 1 \a
end
EOT
cutpoint -blackbox
check -assert