riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
yosys/tests/aiger/notcnt1e.aag

10 lines
66 B
Plaintext
Raw Normal View History

Add tests
2019-02-04 18:46:24 -06:00
aag 5 1 1 0 3 1
2
4 10
5
6 5 3
8 4 2
10 9 7
b0 AIGER_NEVER
Add symbols to AIGER test inputs for ABC
2019-06-07 13:05:25 -05:00
i0 pi0