5 commits

Author	SHA1	Message	Date
Emil J. Tywoniak	9d8b1ee43a	dfflibmap: allow formal dffsr mapping tests with clk2fflogic	2026-02-27 20:05:53 +01:00
Emil J. Tywoniak	18753c4c9e	dfflibmap: test dffsr with either priority liberty file	2026-02-27 16:10:50 +01:00
Emil J. Tywoniak	015b164671	dfflibmap: test dffsr mapping without assume	2026-02-27 16:10:50 +01:00
Emil J. Tywoniak	b2fe335b2d	dfflibmap: fix next_state inversion propagation for DFF flops by inverting reset value polarity	2025-10-28 13:56:28 +01:00
Emil J. Tywoniak	778079b058	dfflibmap: propagate negated next_state to output correctly	2025-06-24 12:01:12 +02:00