mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-07 09:55:20 +00:00
Code Activity

abstract: test -slice from:to for -init

Browse source
This commit is contained in:
Emil J. Tywoniak 2025-02-25 00:22:14 +01:00
parent 07004f1089
commit 3f60a2cc67
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
tests/various/abstract_init.ys
View file

@ -52,10 +52,16 @@ EOT
proc proc
opt_expr opt_expr
opt_dff opt_dff
design -save basic
select -assert-count 1 w:Q a:init=2'b01 %i select -assert-count 1 w:Q a:init=2'b01 %i
abstract -init -slice 0 w:Q abstract -init -slice 0 w:Q
check -assert check -assert
select -assert-count 1 w:Q a:init=2'b0x %i select -assert-count 1 w:Q a:init=2'b0x %i
design -load basic
select -assert-count 1 w:Q a:init=2'b01 %i
abstract -init -slice 0:1 w:Q
check -assert
select -assert-count 0 w:Q a:init %i
design -reset design -reset
read_verilog <<EOT read_verilog <<EOT