3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-07-01 18:38:48 +00:00
yosys/tests/sat
Eddie Hung 5ebdc0f8e0
Merge pull request #1638 from YosysHQ/eddie/fix1631
clk2fflogic: work for bit-level $_DFF_* and $_DFFSR_*
2020-02-05 19:31:18 +01:00
..
.gitignore
asserts.v
asserts.ys
asserts_seq.v
asserts_seq.ys
clk2fflogic.ys
counters-repeat.v
counters-repeat.ys
counters.v
counters.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