3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-02-10 11:01:04 +00:00
yosys/tests/liberty
2025-12-04 12:09:48 +01:00
..
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 Updated the liberty parser to accept [A:B] ranges (AST has not been updated). Liberty parser now also accepts key : value pair lines that do not end in ';'. 2019-03-24 22:54:18 +01:00
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 Add tests for #4976. 2025-04-03 10:01:34 -07:00
idranges.lib.filtered.ok Add tests for #4976. 2025-04-03 10:01:34 -07:00
idranges.lib.verilogsim.ok Add tests for #4976. 2025-04-03 10:01:34 -07:00
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 liberty: Test non-ascii characters 2025-04-17 00:20:18 +02:00
non-ascii.lib.filtered.ok liberty: Test non-ascii characters 2025-04-17 00:20:18 +02:00
non-ascii.lib.verilogsim.ok liberty: Test non-ascii characters 2025-04-17 00:20:18 +02:00
normal.lib
normal.lib.filtered.ok Fix existing tests/liberty tests, and add them to Makefile. 2025-04-03 09:56:24 -07:00
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 read_liberty: s/busses/buses/ 2024-11-12 13:33:41 +01:00
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 Fix existing tests/liberty tests, and add them to Makefile. 2025-04-03 09:56:24 -07:00
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 Fix existing tests/liberty tests, and add them to Makefile. 2025-04-03 09:56:24 -07:00
semicolmissing.lib.verilogsim.ok Fix existing tests/liberty tests, and add them to Makefile. 2025-04-03 09:56:24 -07:00
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 Fix existing tests/liberty tests, and add them to Makefile. 2025-04-03 09:56:24 -07:00
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