Emil J. Tywoniak bfc957ee2d filterlib, read_liberty: add loopy retention cell formal equivalence test

2025-11-21 00:57:54 +01:00

..

foundry_data

Check in filtered samples of IHP's Liberty data for tests

2024-11-12 13:28:15 +01:00

.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

Extend liberty tests

2024-08-13 18:47:36 +02:00

busdef.lib.verilogsim.ok

Extend liberty tests

2024-08-13 18:47:36 +02:00

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

fix file rights

2023-05-17 13:39:57 +02:00

issue3498_bad.lib.filtered.ok

Extend liberty tests

2024-08-13 18:47:36 +02:00

issue3498_bad.lib.verilogsim.ok

Extend liberty tests

2024-08-13 18:47:36 +02:00

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

Extend liberty tests

2024-08-13 18:47:36 +02:00

options_test.ys

read_liberty: s/busses/buses/

2024-11-12 13:33:41 +01:00

processdefs.lib

…

processdefs.lib.filtered.ok

Extend liberty tests

2024-08-13 18:47:36 +02:00

processdefs.lib.verilogsim.ok

Extend liberty tests

2024-08-13 18:47:36 +02:00

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

liberty: fix tests

2025-04-23 20:20:43 +00: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

adding unittest

2023-05-04 22:43:04 -07:00

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