6 Commits

Author	SHA1	Message	Date
Emil J. Tywoniak	5b4603c54f	dfflibmap: fix formal $dffsr tests with sat, prove "no s&r" assumption only needed when appropriate	2026-03-03 10:35:03 +01:00
Emil J. Tywoniak	024408004a	dfflibmap: allow formal dffsr mapping tests with clk2fflogic	2026-03-03 10:34:29 +01:00
Emil J. Tywoniak	c13a623dbc	dfflibmap: test dffsr with either priority liberty file	2026-03-03 10:34:29 +01:00
Emil J. Tywoniak	ffb76a3486	dfflibmap: test dffsr mapping without assume	2026-03-03 10:34:29 +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