mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-03 21:09:12 +00:00
Code Activity

Merge pull request #1632 from YosysHQ/eddie/fix1630

Browse source 
read_aiger: uniquify wires with $aiger<autoidx> prefix
This commit is contained in:
Eddie Hung 2020-01-14 11:40:40 -08:00 • committed by GitHub
commit 9fa0e03cc9
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
5 changed files with 23 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

BIN
tests/arch/ecp5/bug1630.il.gz Normal file
View file

Binary file not shown.

2
tests/arch/ecp5/bug1630.ys Normal file
View file

@ -0,0 +1,2 @@
read_ilang bug1630.il.gz
abc9 -lut +/ecp5/abc9_5g.lut