index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
backends
/
aiger
/
xaiger.cc
Commit message (
Expand
)
Author
Age
Files
Lines
*
abc9: fix SCC issues (#2694)
Eddie Hung
2021-03-29
1
-5
/
+4
*
Replace assert in xaiger with more useful error message
Dan Ravensloft
2021-03-10
1
-1
/
+2
*
use the new isPublic() in a few places
N. Engelhardt
2020-09-14
1
-1
/
+1
*
Use C++11 final/override keywords.
whitequark
2020-06-18
1
-2
/
+2
*
Merge pull request #2077 from YosysHQ/eddie/abc9_dff_improve
Eddie Hung
2020-06-04
1
-28
/
+22
|
\
|
*
xaiger: cleanup
Eddie Hung
2020-05-25
1
-28
/
+22
*
|
xaiger: promote abc9_keep wires
Eddie Hung
2020-05-25
1
-1
/
+1
|
/
*
xaiger: do not derive cells
Eddie Hung
2020-05-24
1
-7
/
+1
*
abc9: use (* abc9_keep *) instead of (* abc9_scc *); apply to $_DFF_?_
Eddie Hung
2020-05-14
1
-5
/
+5
*
abc9_ops/xaiger: further reducing Module::derive() calls by ...
Eddie Hung
2020-05-14
1
-40
/
+32
*
Cleanup; reduce Module::derive() calls
Eddie Hung
2020-05-14
1
-18
/
+20
*
xaiger: no longer use nonstandard even/odd to designate +ve/-ve polarity
Eddie Hung
2020-05-14
1
-16
/
+5
*
abc9: not enough to techmap_fail on (* init=1 *), hide them using $__
Eddie Hung
2020-05-14
1
-0
/
+1
*
Revert "Merge pull request #1917 from YosysHQ/eddie/abc9_delay_check"
Eddie Hung
2020-05-14
1
-4
/
+0
*
xaiger: always sort input/output bits by port id
Eddie Hung
2020-05-14
1
-12
/
+10
*
abc9: generate $abc9_holes design instead of <name>$holes
Eddie Hung
2020-05-14
1
-3
/
+9
*
aiger/xaiger: use odd for negedge clk, even for posedge
Eddie Hung
2020-05-14
1
-6
/
+10
*
xaiger: update help text
Eddie Hung
2020-05-14
1
-4
/
+4
*
xaiger: do not treat (* init=1'bx *) as 1'b0
Eddie Hung
2020-05-14
1
-1
/
+1
*
xaiger: when -dff use (* init *) for initial state
Eddie Hung
2020-05-14
1
-3
/
+15
*
abc9_ops: add 'dff' label for auto handling of (* abc9_flop *) boxes
Eddie Hung
2020-05-14
1
-8
/
+2
*
xaiger: output $_DFF_[NP]_ with mergeability if -dff option
Eddie Hung
2020-05-14
1
-42
/
+44
*
aiger: fixes for ports that have start_offset != 0
Eddie Hung
2020-05-02
1
-3
/
+2
*
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
1
-18
/
+18
*
kernel: use more ID::*
Eddie Hung
2020-04-02
1
-5
/
+5
*
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
[next]