3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-05-25 19:36:21 +00:00
yosys/tests/liberty
2026-05-19 14:26:07 +02:00
..
foundry_data
.gitignore
busdef.lib
busdef.lib.filtered.ok
busdef.lib.verilogsim.ok
dff.lib
dff.lib.filtered.ok
dff.lib.verilogsim.ok filterlib, read_liberty: add loopy retention cell formal equivalence test 2025-11-21 00:57:54 +01:00
dff.log.ok
generate_mk.py Make out of tree build testing possible 2026-05-19 14:26:07 +02:00
idranges.lib
idranges.lib.filtered.ok
idranges.lib.verilogsim.ok
issue3498_bad.lib
issue3498_bad.lib.filtered.ok
issue3498_bad.lib.verilogsim.ok
libcache.ys
non-ascii.lib
non-ascii.lib.filtered.ok
non-ascii.lib.verilogsim.ok
normal.lib
normal.lib.filtered.ok
normal.lib.verilogsim.ok filterlib, read_liberty: add loopy retention cell formal equivalence test 2025-11-21 00:57:54 +01:00
normal.verilogsim.ok
options_test.ys
processdefs.lib
processdefs.lib.filtered.ok
processdefs.lib.verilogsim.ok
read_liberty.ys filterlib, read_liberty: add loopy retention cell formal equivalence test 2025-11-21 00:57:54 +01:00
retention.lib filterlib, read_liberty: add loopy retention cell formal equivalence test 2025-11-21 00:57:54 +01:00
retention.lib.filtered.ok filterlib, read_liberty: add loopy retention cell formal equivalence test 2025-11-21 00:57:54 +01:00
retention.lib.verilogsim.ok filterlib, read_liberty: add loopy retention cell formal equivalence test 2025-11-21 00:57:54 +01:00
semicolextra.lib
semicolextra.lib.filtered.ok
semicolextra.lib.verilogsim.ok filterlib, read_liberty: add loopy retention cell formal equivalence test 2025-11-21 00:57:54 +01:00
semicolmissing.lib
semicolmissing.lib.filtered.ok
semicolmissing.lib.verilogsim.ok
small.v
unquoted.lib
unquoted.lib.filtered.ok
unquoted.lib.verilogsim.ok filterlib, read_liberty: add loopy retention cell formal equivalence test 2025-11-21 00:57:54 +01:00
XNOR2X1.lib
XNOR2X1.lib.filtered.ok
XNOR2X1.lib.verilogsim.ok