extract_fa: Fix `xor3`/`xnor3` inversion bug#4691

Merged

povik merged 2 commits intoYosysHQ:mainfrom hovind:experiments/extract-fa-fix

Feb 6, 2025

+32-2

Commits on Jan 30, 2025

extract_fa: Add test case

jix
authored and
hovind
committed
extract_fa: Invert xor3/xnor3 output when inverting majority3 input
hovind
committed