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
...
*
|
Consistency
Eddie Hung
2019-06-12
1
-1
/
+1
*
|
Add log_assert to ensure no loops
Eddie Hung
2019-06-04
1
-1
/
+15
*
|
Only toposort builtin and abc types
Eddie Hung
2019-06-04
1
-6
/
+9
*
|
When creating new holes cell, inherit parameters too
Eddie Hung
2019-06-03
1
-1
/
+3
*
|
ABC9 to understand flops
Eddie Hung
2019-05-31
1
-46
/
+27
*
|
Merge branch 'xaig' into xc7mux
Eddie Hung
2019-05-31
1
-8
/
+79
|
\
\
|
*
|
Fix abc9 with (* keep *) wires
Eddie Hung
2019-04-23
1
-6
/
+14
|
*
|
Revert "Temporarily remove 'r' extension"
Eddie Hung
2019-04-22
1
-7
/
+77
*
|
|
Fix issue where keep signal became PI, but also box was adding CI driver
Eddie Hung
2019-05-30
1
-5
/
+19
*
|
|
Do not re-sort box_module ports
Eddie Hung
2019-05-30
1
-4
/
+6
*
|
|
Carry in/out to be the last input/output for chains to be preserved
Eddie Hung
2019-05-30
1
-0
/
+38
*
|
|
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
[prev]
[next]