index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
tests
/
various
/
abc9.ys
Commit message (
Collapse
)
Author
Age
Files
Lines
*
abc9: uniquify blackboxes like whiteboxes (#2695)
Eddie Hung
2021-03-29
1
-1
/
+56
|
|
|
|
|
|
|
|
|
* abc9_ops: uniquify blackboxes too * abc9_ops: update comment * abc9_ops: allow bypass for param-less blackboxes * Add tests
*
abc9_ops: -reintegrate use SigMap to remove (* init *) from $_DFF_[NP]_
Eddie Hung
2020-05-29
1
-1
/
+2
|
*
abc9: preserve $_DFF_?_.Q's (* init *); rely on clean to remove it
Eddie Hung
2020-05-14
1
-3
/
+8
|
*
abc9: not enough to techmap_fail on (* init=1 *), hide them using $__
Eddie Hung
2020-05-14
1
-2
/
+21
|
*
abc9: add flop boxes to basic $_DFF_P_ and $_DFF_N_ too
Eddie Hung
2020-05-14
1
-5
/
+7
|
*
abc9: add testcase reduced from #1970
Eddie Hung
2020-04-20
1
-0
/
+19
|
*
write_xaiger: fix for (* keep *) on flop output
Eddie Hung
2020-01-21
1
-0
/
+15
|
*
Merge remote-tracking branch 'origin/xaig_dff' into eddie/xaig_dff_adff
Eddie Hung
2019-11-21
1
-1
/
+1
|
\
*
|
async2sync -> clk2fflogic
Eddie Hung
2019-11-21
1
-1
/
+1
|
|
*
|
Add a equiv test too
Eddie Hung
2019-11-19
1
-0
/
+16
|
/
*
Update test with more accurate LUT mask
Eddie Hung
2019-07-12
1
-1
/
+1
|
*
Add test
Eddie Hung
2019-07-02
1
-0
/
+10
|
*
Add tests/various/abc9.{v,ys} with SCC test
Eddie Hung
2019-06-24
1
-0
/
+14