3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-24 17:45:33 +00:00
yosys/tests/sat
clairexen 7e2fc2eaeb
Merge pull request #2378 from udif/pr_dollar_high_low
Added $high(), $low(), $left(), $right()
2020-10-01 18:17:36 +02:00
..
.gitignore tests: add gitignores for auto-generated makefiles 2020-09-26 16:28:24 +02:00
asserts.v
asserts.ys
asserts_seq.v
asserts_seq.ys
clk2fflogic.ys
counters-repeat.v
counters-repeat.ys
counters.v
counters.ys
dff.ys
expose_dff.v
expose_dff.ys
initval.v
initval.ys
run-test.sh
share.v
share.ys
sizebits.sv
sizebits.ys
splice.v
splice.ys