yosys

mirror of https://github.com/YosysHQ/yosys.git

Author	SHA1	Message	Date
Emil J. Tywoniak	bfc957ee2d	filterlib, read_liberty: add loopy retention cell formal equivalence test	2025-11-21 00:57:54 +01:00
Emil J. Tywoniak	b3112bf025	filterlib: prefer using precedence over unsynthesizable verilog	2025-11-21 00:43:54 +01:00
Sean Luchen	bdcbbf2db6	Fix existing tests/liberty tests, and add them to Makefile.	2025-04-03 09:56:24 -07:00
Martin Povišer	c35f5e379c	Extend liberty tests	2024-08-13 18:47:36 +02:00