YosysHQ.yosys/tests/xprop/test.py at bfacaddca8a2e113e4bc3d6177612ccdba1555c8 - YosysHQ.yosys - Berget Git Service

github.com/YosysHQ.yosys

mirror of synced 2026-05-05 23:55:43 +00:00

Files

Jannis Harder ce708122a5 New xprop pass to encode 3-valued x-propagation using 2-valued logic

2022-11-30 19:01:28 +01:00

16 KiB

Raw Blame History

View Raw