2019-10-08 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig_dff
|
commit | commitdiff | tree |
2019-10-08 |
Eddie Hung | Revert "Add test that is expecting to fail"
|
commit | commitdiff | tree |
2019-10-08 |
Eddie Hung | Revert "Be mindful that sigmap(wire) could have dupes...
|
commit | commitdiff | tree |
2019-10-08 |
Eddie Hung | Merge pull request #1432 from YosysHQ/eddie/fix1427
|
commit | commitdiff | tree |
2019-10-08 |
Eddie Hung | Merge pull request #1433 from YosysHQ/eddie/equiv_opt_async2sync
|
commit | commitdiff | tree |
2019-10-08 |
Eddie Hung | Merge pull request #1437 from YosysHQ/eddie/abc_to_abc9
|
commit | commitdiff | tree |
2019-10-08 |
Eddie Hung | Merge pull request #1438 from YosysHQ/eddie/xilinx_dsp_comments
|
commit | commitdiff | tree |
2019-10-07 |
Eddie Hung | Cleanup
|
commit | commitdiff | tree |
2019-10-07 |
Eddie Hung | Rename $currQ to $abc9_currQ
|
commit | commitdiff | tree |
2019-10-07 |
Eddie Hung | Use "abc9_period" attribute for delay target
|
commit | commitdiff | tree |
2019-10-07 |
Eddie Hung | Get rid of latch_* in write_xaiger
|
commit | commitdiff | tree |
2019-10-07 |
Eddie Hung | Update comments in abc9_map.v
|
commit | commitdiff | tree |
2019-10-07 |
Eddie Hung | Remove -D_ABC9
|
commit | commitdiff | tree |
2019-10-07 |
Eddie Hung | Remove "write_xaiger -zinit"
|
commit | commitdiff | tree |
2019-10-07 |
Eddie Hung | Add comment on default flop init
|
commit | commitdiff | tree |
2019-10-07 |
Eddie Hung | Get rid of output_port lookup
|
commit | commitdiff | tree |
2019-10-06 |
Eddie Hung | Do not require changes to cells_sim.v; try and work...
|
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Missing 'accept' at end of ice40_wrapcarry, spotted...
|
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Error if $currQ not found
|
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Missed this
|
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Add comment on why we have to match for clock-enable...
|
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Add note on pattern detector
|
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Add comment on why partial multipliers are 18x18
|
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Add comments for xilinx_dsp_cascade
|
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Improve comments for xilinx_dsp_CREG
|
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Fix comment
|
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Restore optimisation for sigM.empty()
|
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Retry on fixing TODOs
|
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Revert "Fix TODOs"
|
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | More comments, cleanup
|
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Fix TODOs
|
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Consistency
|
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Add comments for xilinx_dsp
|
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Fix typo in check_label()
|
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | abc -> abc9
|
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Merge branch 'master' into eddie/abc_to_abc9
|
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Fix from merge
|
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig_dff
|
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Add temporary `abc9 -nomfs` and use for `synth_xilinx...
|
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Use read_args for read_verilog
|
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Remove DSP48E1 from *_cells_xtra.v
|
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Fix merge issues
|
commit | commitdiff | tree |
2019-10-04 |
Eddie Hung | Merge remote-tracking branch 'origin/eddie/abc_to_abc9...
|
commit | commitdiff | tree |
2019-10-04 |
Eddie Hung | Fix xilinx_dsp for unsigned extensions
|
commit | commitdiff | tree |
2019-10-04 |
Eddie Hung | Fix for SigSpec() == SigSpec(State::Sx, 0) to be true...
|
commit | commitdiff | tree |
2019-10-04 |
Eddie Hung | Add Const::{begin,end,empty}()
|
commit | commitdiff | tree |
2019-10-04 |
Eddie Hung | Rename abc_* names/attributes to more precisely be...
|
commit | commitdiff | tree |
2019-10-04 |
Eddie Hung | Panic over. Model was elsewhere. Re-arrange for consistency
|
commit | commitdiff | tree |
2019-10-04 |
Eddie Hung | Oops
|
commit | commitdiff | tree |
2019-10-04 |
Eddie Hung | Ohmilord this wasn't added all this time!?!
|
commit | commitdiff | tree |
2019-10-04 |
Eddie Hung | Add -async2sync to help text as per @daveshah1
|
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Use `sat -tempinduct` and comments for why equiv_opt...
|
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig_dff
|
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Restore part of doc
|
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Disable equiv check for ice40 latches
|
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Add new -async2sync option
|
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Use equiv_opt -async2sync for xilinx
|
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | English
|
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Revert "equiv_opt to call async2sync when not -multiclock...
|
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Revert "Update doc for equiv_opt"
|
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Fix broken CI, check reset even for constants, trim...
|
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Merge pull request #1423 from YosysHQ/eddie/techmap_replace_wire
|
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Fix test
|
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Merge branch 'eddie/fix_sat_init' into eddie/fix1427
|
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Update test
|
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Refactor peepopt_dffmux and be sensitive to \init when...
|
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Add test
|
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | log_dump() to support State enum
|
commit | commitdiff | tree |
2019-10-02 |
Eddie Hung | Be mindful that sigmap(wire) could have dupes when...
|
commit | commitdiff | tree |
2019-10-02 |
Eddie Hung | Add test that is expecting to fail
|
commit | commitdiff | tree |
2019-10-02 |
Eddie Hung | Also rename cells with _TECHMAP_REPLACE_. prefix, as...
|
commit | commitdiff | tree |
2019-10-02 |
Eddie Hung | Extend test with renaming cells with prefix too
|
commit | commitdiff | tree |
2019-10-01 |
Eddie Hung | More fixes
|
commit | commitdiff | tree |
2019-10-01 |
Eddie Hung | Escape Verilog identifiers for legality outside of...
|
commit | commitdiff | tree |
2019-10-01 |
Eddie Hung | Add test
|
commit | commitdiff | tree |
2019-10-01 |
Eddie Hung | techmap wires named _TECHMAP_REPLACE_.<identifier>...
|
commit | commitdiff | tree |
2019-10-01 |
Eddie Hung | No need to punch ports at all
|
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Resolve FIXME on calling proc just once
|
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Cleanup $currQ from aigerparse
|
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Remove need for $currQ port connection
|
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Add explanation to abc_map.v
|
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Add quick test
|
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Add -select option to aigmap
|
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Cleanup
|
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Add comment
|
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Fix typo
|
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Fix for svinterfaces
|
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | module->derive() to be lazy and not touch ast if already...
|
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Use a cell_cache to instantiate once rather than opt_merge...
|
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | scc call on active module module only, plus cleanup
|
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Use derived module
|
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig_dff
|
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Update doc for equiv_opt
|
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Merge pull request #1397 from btut/fix/python_wrappers_inlin...
|
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Add latch test modified from #1363
|
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Add LDCE/LDPE sim library, remove from *cells_xtra...
|
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Missing endmodule
|
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig_dff
|
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Merge pull request #1414 from hzeller/improve-replace...
|
commit | commitdiff | tree |
2019-09-29 |
Eddie Hung | Merge pull request #1359 from YosysHQ/xc7dsp
|
commit | commitdiff | tree |
next |