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
*
aiger: fixes for ports that have start_offset != 0
Eddie Hung
2020-05-02
2
-9
/
+8
*
xaiger: add check for $__ABC9_DELAY model
Eddie Hung
2020-04-13
1
-0
/
+4
*
kernel: big fat patch to use more ID::*, otherwise ID(*)
Eddie Hung
2020-04-02
2
-36
/
+36
*
kernel: use more ID::*
Eddie Hung
2020-04-02
2
-17
/
+17
*
xaiger: remove some unnecessary operations ...
Eddie Hung
2020-03-06
1
-9
/
+2
*
abc9: (* keep *) wires to be PO only, not PI as well; fix scc handling
Eddie Hung
2020-03-06
1
-3
/
+4
*
Make TimingInfo::TimingInfo(SigBit) constructor explicit
Eddie Hung
2020-02-27
1
-1
/
+1
*
write_xaiger: add comment about arrival times of flop outputs
Eddie Hung
2020-02-27
1
-0
/
+1
*
Get rid of (* abc9_{arrival,required} *) entirely
Eddie Hung
2020-02-27
1
-29
/
+15
*
abc9_ops: ignore (* abc9_flop *) if not '-dff'
Eddie Hung
2020-02-27
1
-38
/
+44
*
xilinx: improve specify functionality
Eddie Hung
2020-02-27
1
-0
/
+3
*
Revert "abc9: fix abc9_arrival for flops"
Eddie Hung
2020-02-14
1
-5
/
+2
*
write_xaiger: default value for abc9_init
Eddie Hung
2020-02-13
1
-1
/
+1
*
abc9: fix abc9_arrival for flops
Eddie Hung
2020-02-13
1
-2
/
+5
*
Merge branch 'eddie/abc9_refactor' into eddie/abc9_required
Eddie Hung
2020-01-27
1
-3
/
+3
|
\
|
*
write_xaiger: fix for (* keep *) on flop output
Eddie Hung
2020-01-21
1
-3
/
+3
*
|
Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req...
Eddie Hung
2020-01-15
1
-1
/
+2
|
\
|
|
*
write_xaiger: skip abc9_flop only if abc_box_seq present
Eddie Hung
2020-01-15
1
-1
/
+2
*
|
abc9_ops: cope with (* abc9_flop *) in place of (* abc9_box_id *)
Eddie Hung
2020-01-14
1
-1
/
+1
*
|
Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req...
Eddie Hung
2020-01-14
1
-2
/
+6
|
\
|
|
*
write_xaiger: do not export flop inputs as POs
Eddie Hung
2020-01-14
1
-2
/
+6
*
|
abc9_ops: generate flop box ids, add abc9_required to FD* cells
Eddie Hung
2020-01-14
1
-1
/
+5
*
|
Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req...
Eddie Hung
2020-01-14
1
-1
/
+1
|
\
|
|
*
abc9_ops: -reintegrate to not trim box padding anymore
Eddie Hung
2020-01-14
1
-1
/
+1
*
|
write_xaiger: skip if no arrival times
Eddie Hung
2020-01-14
1
-0
/
+3
*
|
Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req...
Eddie Hung
2020-01-14
1
-69
/
+108
|
\
|
|
*
abc9_ops/write_xaiger: update doc
Eddie Hung
2020-01-14
1
-1
/
+2
|
*
abc9_ops: -prep_holes -> -prep_xaiger, move padding to write_xaiger
Eddie Hung
2020-01-14
1
-3
/
+6
|
*
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
[next]