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
...
|
*
write_xaiger: fix case of PI and CI and (* keep *)
Eddie Hung
2020-01-13
1
-0
/
+5
|
*
abc9: break SCC by setting (* keep *) on output wires
Eddie Hung
2020-01-13
1
-8
/
+15
|
*
abc9: respect (* keep *) on cells
Eddie Hung
2020-01-13
1
-61
/
+69
|
*
write_xaiger: add support and test for (* keep *) on wires
Eddie Hung
2020-01-13
1
-7
/
+17
|
*
write_xaiger: cache arrival times
Eddie Hung
2020-01-13
1
-11
/
+17
*
|
Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req...
Eddie Hung
2020-01-12
1
-19
/
+28
|
\
|
|
*
cleanup
Eddie Hung
2020-01-11
1
-1
/
+1
|
*
Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor
Eddie Hung
2020-01-11
1
-18
/
+27
|
|
\
|
|
*
write_xaiger: sort holes by offset as well as port_id
Eddie Hung
2020-01-11
1
-1
/
+2
|
|
*
write_xaiger: cleanup holes generation
Eddie Hung
2020-01-08
1
-80
/
+89
|
|
*
write_xaiger: holes PIs only if whitebox
Eddie Hung
2020-01-08
1
-13
/
+18
*
|
|
log_debug() for abc9_{arrival,required} times
Eddie Hung
2020-01-10
1
-0
/
+8
*
|
|
write_xaiger: cleanup
Eddie Hung
2020-01-09
1
-17
/
+15
*
|
|
write_xaiger: cope with abc9_arrival as string of ints
Eddie Hung
2020-01-09
1
-8
/
+21
|
/
/
*
|
Stray log_module
Eddie Hung
2020-01-06
1
-2
/
+0
*
|
Revert "write_xaiger to pad, not abc9_ops -prep_holes"
Eddie Hung
2020-01-06
1
-16
/
+10
*
|
Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactor
Eddie Hung
2020-01-06
2
-56
/
+41
|
\
|
|
*
write_xaiger: make more robust, update doc
Eddie Hung
2020-01-06
1
-29
/
+14
|
*
write_aiger: make more robust
Eddie Hung
2020-01-06
1
-0
/
+8
|
*
Restore write_xaiger's holes_mode since port_id order causes QoR
Eddie Hung
2020-01-03
1
-27
/
+19
|
*
Cleanup
Eddie Hung
2020-01-02
1
-2
/
+1
|
*
write_xaiger: get rid of external_bits dict
Eddie Hung
2020-01-02
1
-1
/
+1
*
|
write_xaiger to pad, not abc9_ops -prep_holes
Eddie Hung
2020-01-05
1
-10
/
+16
*
|
Fix when -dff not given
Eddie Hung
2020-01-04
1
-14
/
+10
*
|
Call -prep_holes before aigmap; fix topo ordering
Eddie Hung
2020-01-03
1
-8
/
+1
*
|
WIP
Eddie Hung
2020-01-03
1
-56
/
+0
*
|
Preserve topo ordering from -prep_holes to write_xaiger
Eddie Hung
2020-01-03
1
-159
/
+77
*
|
WIP
Eddie Hung
2020-01-03
1
-67
/
+8
*
|
WIP
Eddie Hung
2020-01-03
1
-23
/
+141
*
|
Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactor
Eddie Hung
2020-01-02
1
-145
/
+128
|
\
|
|
*
abc9 -keepff -> -dff; refactor dff operations
Eddie Hung
2020-01-02
1
-89
/
+47
|
*
Get rid of (* abc9_keep *) in write_xaiger too
Eddie Hung
2020-01-01
1
-15
/
+18
|
*
attributes.count() -> get_bool_attribute()
Eddie Hung
2020-01-01
1
-1
/
+1
|
*
parse_xaiger to not take box_lookup
Eddie Hung
2019-12-31
1
-2
/
+13
|
*
Do not re-order carry chain ports, just precompute iteration order
Eddie Hung
2019-12-31
1
-22
/
+32
|
*
write_xaiger: be more precise with ff_bits, remove ff_aig_map
Eddie Hung
2019-12-31
1
-21
/
+19
|
*
Retry getting rid of write_xaiger's holes_mode
Eddie Hung
2019-12-31
1
-81
/
+41
|
*
Revert "Get rid of holes_mode"
Eddie Hung
2019-12-30
1
-35
/
+70
|
*
Get rid of holes_mode
Eddie Hung
2019-12-30
1
-70
/
+35
*
|
Move Pass::call() out of abc9_ops into abc9
Eddie Hung
2019-12-30
1
-0
/
+4
*
|
Cleanup
Eddie Hung
2019-12-30
1
-7
/
+3
*
|
Rid unnecessary if
Eddie Hung
2019-12-30
1
-13
/
+11
*
|
Get rid of holes_mode
Eddie Hung
2019-12-30
1
-70
/
+35
*
|
Add abc9_ops -prep_holes
Eddie Hung
2019-12-30
1
-132
/
+8
|
/
*
write_xaiger to use scratchpad for stats; cleanup abc9
Eddie Hung
2019-12-30
1
-17
/
+5
*
Remove unused
Eddie Hung
2019-12-30
1
-5
/
+0
*
Call "proc" if processes inside whiteboxes
Eddie Hung
2019-12-30
1
-1
/
+1
*
Merge remote-tracking branch 'origin/master' into xaig_dff
Eddie Hung
2019-12-30
1
-21
/
+27
|
\
|
*
write_xaiger: inherit port ordering from original module
Eddie Hung
2019-12-27
1
-5
/
+16
|
*
Revert "Merge pull request #1598 from YosysHQ/revert-1588-eddie/xaiger_cleanup"
Eddie Hung
2019-12-27
1
-19
/
+27
[prev]
[next]