mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-07-22 07:05:51 +00:00
Code Activity

Smallfixes

Browse source
This commit is contained in:
Akash Levy 2025-09-09 04:50:57 -07:00
parent 6fc38e15a1
commit eb4539f151
2 changed files with 7 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

8
tests/silimate/opt_balance_tree.ys
View file

@ -99,7 +99,7 @@ select @c_cells @y_cell %i -assert-count 1
select @x_cell %co3 @y_cell %i -assert-count 1
# Check that z is (a & b) & (c & d)
select @x_cell %co3 @z_cell %i
select @x_cell %co3 @z_cell %i -assert-count 1
select @c_and_d_cells %co3 @z_cell %i -assert-count 1
design -reset
@ -168,7 +168,7 @@ select @c_cells @y_pre_cell %i -assert-count 1
select @x_cell %co3 @y_pre_cell %i -assert-count 1
# Check that z is (a & b) & (c & d)
select @x_cell %co3 @z_cell %i
select @x_cell %co3 @z_cell %i -assert-count 1
select @c_and_d_cells %co3 @z_cell %i -assert-count 1
design -reset
@ -524,7 +524,7 @@ select @c_cells @y_cell %i -assert-count 1
select @x_cell %co3 @y_cell %i -assert-count 1
# Check that z is (a + b) + (c + d)
select @x_cell %co3 @z_cell %i
select @x_cell %co3 @z_cell %i -assert-count 1
select @c_plus_d_cells %co3 @z_cell %i -assert-count 1
design -reset
@ -597,7 +597,7 @@ select @c_cells @y_pre_cell %i -assert-count 1
select @x_cell %co3 @y_pre_cell %i -assert-count 1
# Check that z is (a + b) + (c + d)
select @x_cell %co3 @z_cell %i
select @x_cell %co3 @z_cell %i -assert-count 1
select @c_plus_d_cells %co3 @z_cell %i -assert-count 1
design -reset