9 commits

Author	SHA1	Message	Date
Emil Jiří Tywoniak	856a387aad	dfflibmap: support liberty filename globbing	2025-09-24 11:41:51 +02:00
Emil J. Tywoniak	7fe817c52f	dfflibmap: test negated state next_state with mixed polarities	2025-07-10 18:54:43 +02:00
Emil J. Tywoniak	55dcf0e200	tests: fix dfflibmap test - false negative conflict multiple -liberty vs enable inference	2024-12-10 15:48:23 +01:00
Emil J	87736a2bf9	Merge pull request #4807 from YosysHQ/emil/dfflibmap-test-dffe ... dfflibmap: cover enable inference with test	2024-12-10 12:41:11 +01:00
Emil J. Tywoniak	681b678417	dfflibmap: cover enable inference with test	2024-12-09 14:18:08 +01:00
Emil J. Tywoniak	6edf9c86cb	libparse: add LibertyMergedCells, enable multiple -liberty args for dfflibmap and clockgate	2024-12-03 17:36:00 +01:00
Austin Rovinski	689feed012	dfflibmap: Add a -dont_use flag to ignore cells ... This is an alternative to setting the dont_use property in lib. This brings dfflibmap in parity with the abc pass for dont_use. Signed-off-by: Austin Rovinski <rovinski@nyu.edu>	2024-02-19 13:00:18 -05:00
Jannis Harder	81906aa627	Fix tests for check in equiv_opt	2022-10-07 16:04:51 +02:00
Marcelina Kościelnicka	7ed9d18907	dfflibmap: Refactor to use dfflegalize internally.	2020-07-09 18:51:03 +02:00