| .. |
|
foundry_data
|
|
|
|
.gitignore
|
Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
|
2025-07-22 10:38:38 +00:00 |
|
busdef.lib
|
|
|
|
busdef.lib.filtered.ok
|
|
|
|
busdef.lib.verilogsim.ok
|
|
|
|
dff.lib
|
libparse: fix up tests since liberty expression parsing now normalizes the form of these expressions
|
2025-11-05 13:06:12 +01:00 |
|
dff.lib.filtered.ok
|
libparse: fix up tests since liberty expression parsing now normalizes the form of these expressions
|
2025-11-05 13:06:12 +01:00 |
|
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
|
Add test to verify that the liberty format is properly parsed.
|
2025-04-23 18:40:35 +00: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
|
libcache: support liberty filename globbing
|
2025-09-24 11:41:51 +02:00 |
|
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 |
|
run-test.sh
|
Limit YOSYS_MAX_THREADS to 4 when running seed-tests
|
2025-12-04 12:09:48 +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
|
libparse: fix up tests since liberty expression parsing now normalizes the form of these expressions
|
2025-11-05 13:06:12 +01:00 |
|
unquoted.lib.filtered.ok
|
libparse: fix up tests since liberty expression parsing now normalizes the form of these expressions
|
2025-11-05 13:06:12 +01:00 |
|
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
|
libparse: fix up tests since liberty expression parsing now normalizes the form of these expressions
|
2025-11-05 13:06:12 +01:00 |
