aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
| | * | | | Update docEddie Hung2020-01-021-4/+4
| | | | | |
| | * | | | Update commentsEddie Hung2020-01-021-11/+6
| | | | | |
| | * | | | abc9 -keepff -> -dff; refactor dff operationsEddie Hung2020-01-024-166/+135
| | | | | |
| | * | | | Clamp -46ps for FDPE* tooEddie Hung2020-01-011-2/+2
| | | | | |
| | * | | | Get rid of (* abc9_keep *) in write_xaiger tooEddie Hung2020-01-011-15/+18
| | | | | |
| | * | | | Cleanup abc9, update doc for -keepff optionEddie Hung2020-01-011-6/+5
| | | | | |
| | * | | | Restore abc9 -keepffEddie Hung2020-01-014-128/+46
| | | | | |
| | * | | | attributes.count() -> get_bool_attribute()Eddie Hung2020-01-012-3/+3
| | | | | |
| | * | | | Re-arrange FD orderEddie Hung2019-12-313-182/+182
| | | | | |
| | * | | | Missing characterEddie Hung2019-12-311-1/+1
| | | | | |
| | * | | | Cleanup xilinx boxesEddie Hung2019-12-312-391/+425
| | | | | |
| | * | | | Cleanup ice40 boxesEddie Hung2019-12-313-30/+43
| | | | | |
| | * | | | Cleanup ecp5 boxesEddie Hung2019-12-314-35/+31
| | | | | |
| | * | | | parse_xaiger to not take box_lookupEddie Hung2019-12-314-63/+37
| | | | | |
| | * | | | parse_xaiger to reorder ports tooEddie Hung2019-12-311-41/+26
| | | | | |
| | * | | | Add some abc9 dff testsEddie Hung2019-12-311-0/+55
| | | | | |
| | * | | | Do not re-order carry chain ports, just precompute iteration orderEddie Hung2019-12-312-44/+32
| | | | | |
| | * | | | Update abc9_xc7.box commentsEddie Hung2019-12-311-18/+18
| | | | | |
| | * | | | FDCE ports to be alphabeticalEddie Hung2019-12-311-3/+3
| | | | | |
| | * | | | Fix attributes on $__ABC9_ASYNC[01] whiteboxEddie Hung2019-12-311-2/+2
| | | | | |
| | * | | | Fix incorrect $__ABC9_ASYNC[01] boxEddie Hung2019-12-311-2/+2
| | | | | |
| | * | | | write_xaiger: be more precise with ff_bits, remove ff_aig_mapEddie Hung2019-12-311-21/+19
| | | | | |
| | * | | | Retry getting rid of write_xaiger's holes_modeEddie Hung2019-12-311-81/+41
| | | | | |
| | * | | | Revert "Get rid of holes_mode"Eddie Hung2019-12-301-35/+70
| | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 7997e2a90fd37886241b7eb657408177ef7f6fa7.
| | * | | | Get rid of holes_modeEddie Hung2019-12-301-70/+35
| | | | | |
| | * | | | Add -D DFF_MODE to abc9_map testEddie Hung2019-12-301-4/+4
| | | | | |
| | * | | | Remove delay targets docEddie Hung2019-12-301-9/+0
| | | | | |
| | * | | | write_xaiger to use scratchpad for stats; cleanup abc9Eddie Hung2019-12-302-190/+20
| | | | | |
| | * | | | Remove submod changesEddie Hung2019-12-302-201/+37
| | | | | |
| | * | | | Remove unusedEddie Hung2019-12-301-5/+0
| | | | | |
| | * | | | Do not offset FD* box timings due to -46ps TsuEddie Hung2019-12-301-12/+21
| | | | | |
| | * | | | Call "proc" if processes inside whiteboxesEddie Hung2019-12-301-1/+1
| | | | | |
| | * | | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-12-3042-211/+1731
| | |\ \ \ \
| | * | | | | Add CHANGELOG entry, add abc9_{flop,keep} attr to README.mdEddie Hung2019-12-302-0/+7
| | | | | | |
| | * | | | | Tidy up abc9_map.vEddie Hung2019-12-301-103/+103
| | | | | | |
| | * | | | | Add "synth_xilinx -dff" option, cleanup abc9Eddie Hung2019-12-304-53/+120
| | | | | | |
| | * | | | | GrammarEddie Hung2019-12-301-1/+1
| | | | | | |
| | * | | | | Really fix it!Eddie Hung2019-12-271-10/+7
| | | | | | |
| | * | | | | write_xaiger: fix arrival times for non boxesEddie Hung2019-12-271-18/+25
| | | | | | |
| | * | | | | Disable clock domain partitioning in Yosys pass, let ABC do itEddie Hung2019-12-231-6/+22
| | | | | | |
| | * | | | | write_xaiger to opt instead of just clean whiteboxesEddie Hung2019-12-231-1/+1
| | | | | | |
| | * | | | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-12-201-24/+10
| | |\ \ \ \ \
| | * \ \ \ \ \ Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-12-2011-216/+339
| | |\ \ \ \ \ \
| | * | | | | | | Add RAM{32,64}M to abc9_map.vEddie Hung2019-12-191-0/+78
| | | | | | | | |
| | * | | | | | | Split into $__ABC9_ASYNC[01], do not add cell->type to clkdomain_tEddie Hung2019-12-196-41/+60
| | | | | | | | |
| | * | | | | | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-12-1947-161/+2030
| | |\ \ \ \ \ \ \
| | * | | | | | | | Bump ABC againEddie Hung2019-12-181-1/+1
| | | | | | | | | |
| | * | | | | | | | Remove &verify -sEddie Hung2019-12-171-1/+1
| | | | | | | | | |
| | * | | | | | | | Bump ABC for upstream fixEddie Hung2019-12-171-1/+1
| | | | | | | | | |
| | * | | | | | | | Use pool<> instead of std::set<> to preserver orderingEddie Hung2019-12-171-6/+6
| | | | | | | | | |