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

github.com/YosysHQ.yosys

mirror of synced 2026-04-25 20:02:10 +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