2019-06-25 |
Eddie Hung | Add Xilinx dist RAM as comb boxes
|
commit | commitdiff | tree |
2019-06-25 |
Eddie Hung | Fix abc9's scc breaker, also break on abc_scc_break...
|
commit | commitdiff | tree |
2019-06-25 |
Eddie Hung | Add tests/various/abc9.{v,ys} with SCC test
|
commit | commitdiff | tree |
2019-06-25 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig
|
commit | commitdiff | tree |
2019-06-22 |
Eddie Hung | Add comments to ecp5 box
|
commit | commitdiff | tree |
2019-06-22 |
Eddie Hung | Add comment to xc7 box
|
commit | commitdiff | tree |
2019-06-22 |
Eddie Hung | Fix and cleanup ice40 boxes for carry in/out
|
commit | commitdiff | tree |
2019-06-22 |
Eddie Hung | Carry in/out box ordering now move to end, not swap...
|
commit | commitdiff | tree |
2019-06-22 |
Eddie Hung | Remove DFF and RAMD box info for now
|
commit | commitdiff | tree |
2019-06-22 |
Eddie Hung | Merge branch 'master' into xaig
|
commit | commitdiff | tree |
2019-06-22 |
Eddie Hung | Add 'muxcover -dmux=<cost>' and '-nopartial' to CHANGELOG
|
commit | commitdiff | tree |
2019-06-22 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig
|
commit | commitdiff | tree |
2019-06-22 |
Eddie Hung | Fix CHANGELOG
|
commit | commitdiff | tree |
2019-06-22 |
Eddie Hung | Reduce log_debug spam in parse_xaiger()
|
commit | commitdiff | tree |
2019-06-22 |
Eddie Hung | Do not rename non LUT cells in abc9
|
commit | commitdiff | tree |
2019-06-22 |
Eddie Hung | Replace assert with error message
|
commit | commitdiff | tree |
2019-06-22 |
Eddie Hung | Add log_push()/log_pop() inside write_xaiger
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | One more workaround for gcc-4.8
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Workaround issues exposed by gcc-4.8
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | No point logging constant bit
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Move comment
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix spacing
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Revert Makefile
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Refactor bit2aig for less lookups
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix gcc invalidation behaviour for write_aiger
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix gcc error, due to dict invalidation during recursion
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix gcc warning of potentially uninitialised
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix gcc invalidation behaviour for write_aiger
|
commit | commitdiff | tree |
2019-06-21 |
Clifford Wolf | Improvements in muxcover
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Missing a `clean` and `opt_expr -mux_bool` in test
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Add test
|
commit | commitdiff | tree |
2019-06-21 |
Clifford Wolf | Add support for partial matches to muxcover, fixes...
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | write_xaiger to flatten 1'bx/1'bz to 1'b0 again
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix simple_abc9/generate test with 1'bx at MSB
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix different abc9 test
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix broken abc9.v test due to inout being 1'bx
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Run simple_abc9 tests
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix issue with part of PI being 1'bx
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Call opt_expr -mux_undef to get rid of 1'bx in muxes...
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Handle COs driven by 1'bx
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Do not call "setundef -zero" in abc9
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | write_xaiger to skip POs driven by 1'bx
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Actually, there might not be any harm in updating sigmap...
|
commit | commitdiff | tree |
2019-06-20 |
Eddie Hung | Add comment as per @cliffordwolf
|
commit | commitdiff | tree |
2019-06-20 |
Eddie Hung | Add test
|
commit | commitdiff | tree |
2019-06-20 |
Eddie Hung | Make genvar a signed type
|
commit | commitdiff | tree |
2019-06-20 |
Eddie Hung | Add CHANGELOG entry
|
commit | commitdiff | tree |
2019-06-20 |
Eddie Hung | Extend sign extension tests
|
commit | commitdiff | tree |
2019-06-20 |
Eddie Hung | Maintain "is_unsized" state of constants
|
commit | commitdiff | tree |
2019-06-20 |
Eddie Hung | Revert "Fix sign extension when sign is 1'bx"
|
commit | commitdiff | tree |
2019-06-20 |
Eddie Hung | Remove leftover comment
|
commit | commitdiff | tree |
2019-06-20 |
Eddie Hung | Add test
|
commit | commitdiff | tree |
2019-06-20 |
Eddie Hung | Fix sign extension when sign is 1'bx
|
commit | commitdiff | tree |
2019-06-19 |
Eddie Hung | Fix bug in #1078, add entry to CHANGELOG
|
commit | commitdiff | tree |
2019-06-18 |
Eddie Hung | Really permute Xilinx LUT mappings as default LUT6...
|
commit | commitdiff | tree |
2019-06-18 |
Eddie Hung | Revert "Fix (do not) permute LUT inputs, but permute...
|
commit | commitdiff | tree |
2019-06-18 |
Eddie Hung | Clean up
|
commit | commitdiff | tree |
2019-06-18 |
Eddie Hung | Fix (do not) permute LUT inputs, but permute mux selects
|
commit | commitdiff | tree |
2019-06-18 |
Eddie Hung | Fix copy-pasta issue
|
commit | commitdiff | tree |
2019-06-18 |
Eddie Hung | Permute INIT for +/xilinx/lut_map.v
|
commit | commitdiff | tree |
2019-06-18 |
Eddie Hung | Simplify comment
|
commit | commitdiff | tree |
2019-06-18 |
Eddie Hung | Update LUT7/8 delays to take account for [ABC]OUTMUX...
|
commit | commitdiff | tree |
2019-06-17 |
Eddie Hung | &scorr before &sweep, remove &retime as recommended
|
commit | commitdiff | tree |
2019-06-17 |
Eddie Hung | Copy not move parameters/attributes
|
commit | commitdiff | tree |
2019-06-17 |
Eddie Hung | Fix leak removing cells during ABC integration; also...
|
commit | commitdiff | tree |
2019-06-17 |
Eddie Hung | Try -W 300
|
commit | commitdiff | tree |
2019-06-17 |
Eddie Hung | Re-enable &dc2
|
commit | commitdiff | tree |
2019-06-16 |
Eddie Hung | Cleanup
|
commit | commitdiff | tree |
2019-06-15 |
Eddie Hung | Fix upper XC7 LUT[78] delays to use I[01] -> O delay...
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Leave breadcrumb behind
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Remove redundant condition
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Revert "Cleanup/optimise toposort in write_xaiger"
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Update comment
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Check that whiteboxes are synthesisable
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Get rid of compiler warnings
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | As per @daveshah1 remove async DFF timing from xilinx
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Cover __APPLE__ too for little to big endian
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Update abc9 -D doc
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Enable "abc9 -D <num>" for timing-driven synthesis
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Further cleanup based on @daveshah1
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Resolve comments from @daveshah1
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Add XC7_WIRE_DELAY macro to synth_xilinx.cc
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Update delays based on SymbiFlow/prjxray-db
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Rename +/xilinx/abc.{box,lut} -> abc_xc7.{box,lut}
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Comment out dist RAM boxing on ECP5 for now
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Remove WIP ABC9 flop support
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Make doc consistent
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Cleanup
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Merge branch 'xaig' of github.com:YosysHQ/yosys into...
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Cleanup
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Cleanup/optimise toposort in write_xaiger
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Remove extra semicolon
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Add TODO to parse_xaiger
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Optimise some more
|
commit | commitdiff | tree |
2019-06-13 |
Eddie Hung | Move ConstEvalAig to aigerparse.cc
|
commit | commitdiff | tree |
2019-06-13 |
Eddie Hung | Fix name clash
|
commit | commitdiff | tree |
2019-06-13 |
Eddie Hung | More slimming
|
commit | commitdiff | tree |
2019-06-13 |
Eddie Hung | Add ConstEvalAig specialised for AIGs
|
commit | commitdiff | tree |
next |