mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-06 03:10:26 +00:00
Code Activity

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

Browse source
This commit is contained in:
Jannis Harder 2022-11-25 17:48:15 +01:00
parent 5ff69a0fe2
commit ce708122a5
7 changed files with 2001 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
tests/xprop/run-test.sh Executable file
View file

@ -0,0 +1,5 @@
#!/bin/bash
set -e
python3 generate.py $@
make -f run-test.mk