index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
backends
/
aiger
Commit message (
Expand
)
Author
Age
Files
Lines
*
Fix abc_test024
Eddie Hung
2019-05-29
1
-4
/
+5
*
Fix for abc9_test022
Eddie Hung
2019-05-28
1
-2
/
+6
*
Small improvement
Eddie Hung
2019-05-28
1
-4
/
+2
*
Map file to include boxes not CI/CO
Eddie Hung
2019-05-27
1
-45
/
+38
*
Instantiate cell type (from sym file) otherwise 'clean' warnings
Eddie Hung
2019-05-27
1
-2
/
+4
*
Add 'cinput' and 'coutput' to symbols file for boxes
Eddie Hung
2019-05-27
1
-34
/
+24
*
Fix "a" connectivity
Eddie Hung
2019-05-26
1
-5
/
+30
*
Fix padding, remove CIs from undriven_bits before erasing undriven POs
Eddie Hung
2019-05-26
1
-14
/
+8
*
Fix "a" extension
Eddie Hung
2019-05-26
1
-8
/
+18
*
Fix "write_xaiger", and to write each box contents into holes
Eddie Hung
2019-05-25
1
-39
/
+62
*
Pad all boxes so that all input/output connections specified
Eddie Hung
2019-05-21
1
-22
/
+67
*
Remove topo sort no-loop assertion, with test
Eddie Hung
2019-04-24
1
-13
/
+0
*
Fix abc9 with (* keep *) wires
Eddie Hung
2019-04-23
1
-6
/
+14
*
Temporarily remove 'r' extension
Eddie Hung
2019-04-22
1
-77
/
+7
*
Allow POs to be PIs in XAIG
Eddie Hung
2019-04-22
1
-7
/
+4
*
Fixes for simple_abc9 tests
Eddie Hung
2019-04-19
1
-4
/
+8
*
Do not assume inst_module is always present
Eddie Hung
2019-04-19
1
-12
/
+9
*
ignore_boxes -> holes_mode
Eddie Hung
2019-04-19
1
-6
/
+5
*
Add flop support for write_xaiger
Eddie Hung
2019-04-18
1
-11
/
+83
*
Spelling
Eddie Hung
2019-04-18
1
-1
/
+1
*
Use new -wb flag for ABC flow
Eddie Hung
2019-04-18
1
-29
/
+31
*
Fix $anyseq warning and cleanup
Eddie Hung
2019-04-17
1
-16
/
+7
*
Cope with inout ports
Eddie Hung
2019-04-17
1
-1
/
+15
*
Stop topological sort at abc_flop_q
Eddie Hung
2019-04-17
1
-7
/
+13
*
Remove init* from xaiger, also topo-sort cells for box flow
Eddie Hung
2019-04-17
1
-95
/
+157
*
Optimise
Eddie Hung
2019-04-16
1
-4
/
+3
*
CIs before PIs; also sort each cell's connections before iterating
Eddie Hung
2019-04-16
1
-5
/
+7
*
Port from xc7mux branch
Eddie Hung
2019-04-16
1
-37
/
+109
*
Output __const0__ and __const1__ CIs
Eddie Hung
2019-04-12
1
-7
/
+10
*
ci_bits and co_bits now a list, order is important for ABC
Eddie Hung
2019-04-12
1
-24
/
+34
*
WIP
Eddie Hung
2019-04-12
1
-14
/
+68
*
Add non-input bits driven by unrecognised cells as ci_bits
Eddie Hung
2019-04-10
1
-1
/
+1
*
write_xaiger to behave for undriven/unused inouts
Eddie Hung
2019-02-26
1
-23
/
+25
*
write_xaiger duplicate inout port into out port with $inout.out suffix
Eddie Hung
2019-02-25
1
-3
/
+26
*
Cleanup abc9 code
Eddie Hung
2019-02-25
1
-13
/
+8
*
write_xaiger to write __dummy_o__ for -symbols too
Eddie Hung
2019-02-21
1
-12
/
+11
*
Add attribution
Eddie Hung
2019-02-21
1
-0
/
+1
*
write_xaiger to use original bit for co, not sigmap()-ed bit
Eddie Hung
2019-02-21
1
-3
/
+6
*
Remove swap file
Eddie Hung
2019-02-20
1
-0
/
+0
*
write_aiger: fix CI/CO and symbols
Eddie Hung
2019-02-20
2
-7
/
+13
*
write_xaiger to not write latches, CO/PO fixes
Eddie Hung
2019-02-20
1
-17
/
+26
*
Cleanup
Eddie Hung
2019-02-16
1
-4
/
+5
*
Cleanup
Eddie Hung
2019-02-16
1
-2
/
+1
*
write_xaiger to support non-bit cell connections, and cope with COs for -O
Eddie Hung
2019-02-16
1
-13
/
+15
*
write_aiger -O to write dummy output as __dummy_o__
Eddie Hung
2019-02-16
1
-2
/
+5
*
Tidy up write_xaiger
Eddie Hung
2019-02-16
1
-8
/
+6
*
write_aiger() to perform CI/CO post-processing and fix symbols
Eddie Hung
2019-02-16
1
-7
/
+17
*
Fixes needed for DFF circuits
Eddie Hung
2019-02-15
1
-4
/
+3
*
write_xaiger to cope with unknown cells by transforming them to CI/CO
Eddie Hung
2019-02-15
1
-6
/
+44
*
More cleanup
Eddie Hung
2019-02-14
1
-15
/
+6
[next]