2019-04-17 |
Eddie Hung | Update Makefile.inc too
|
commit | commitdiff | tree |
2019-04-17 |
Eddie Hung | Reduce to three devices: hx, lp, u
|
commit | commitdiff | tree |
2019-04-17 |
Eddie Hung | Do not print slack histogram
|
commit | commitdiff | tree |
2019-04-17 |
Eddie Hung | Add up5k timings
|
commit | commitdiff | tree |
2019-04-17 |
Eddie Hung | Fix grammar
|
commit | commitdiff | tree |
2019-04-17 |
Eddie Hung | Update error message
|
commit | commitdiff | tree |
2019-04-17 |
Eddie Hung | Add "-device" argument to synth_ice40
|
commit | commitdiff | tree |
2019-04-17 |
Eddie Hung | Missing abc_flop_q attribute on SPRAM
|
commit | commitdiff | tree |
2019-04-17 |
Eddie Hung | Cope with inout ports
|
commit | commitdiff | tree |
2019-04-17 |
Eddie Hung | Map to SB_LUT4 from fastest input first
|
commit | commitdiff | tree |
2019-04-17 |
Eddie Hung | Working ABC9 script
|
commit | commitdiff | tree |
2019-04-17 |
Eddie Hung | Stop topological sort at abc_flop_q
|
commit | commitdiff | tree |
2019-04-17 |
Eddie Hung | Mark seq output ports with "abc_flop_q" attr
|
commit | commitdiff | tree |
2019-04-17 |
Eddie Hung | Also update Makefile.inc
|
commit | commitdiff | tree |
2019-04-17 |
Eddie Hung | synth_ice40 to use renamed files
|
commit | commitdiff | tree |
2019-04-17 |
Eddie Hung | Rename to abc.*
|
commit | commitdiff | tree |
2019-04-17 |
Eddie Hung | Revert "Try using an ICE40_CARRY_LUT primitive to avoid...
|
commit | commitdiff | tree |
2019-04-17 |
Eddie Hung | Try using an ICE40_CARRY_LUT primitive to avoid ABC...
|
commit | commitdiff | tree |
2019-04-17 |
Eddie Hung | Remove init* from xaiger, also topo-sort cells for...
|
commit | commitdiff | tree |
2019-04-17 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig
|
commit | commitdiff | tree |
2019-04-17 |
Eddie Hung | Ignore a/i/o/h XAIGER extensions
|
commit | commitdiff | tree |
2019-04-17 |
Eddie Hung | Fix spacing
|
commit | commitdiff | tree |
2019-04-17 |
Eddie Hung | Optimise
|
commit | commitdiff | tree |
2019-04-17 |
Eddie Hung | Add SB_LUT4 to box library
|
commit | commitdiff | tree |
2019-04-16 |
Eddie Hung | Add ice40 box files
|
commit | commitdiff | tree |
2019-04-16 |
Eddie Hung | abc9 to output some more info
|
commit | commitdiff | tree |
2019-04-16 |
Eddie Hung | CIs before PIs; also sort each cell's connections before...
|
commit | commitdiff | tree |
2019-04-16 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig
|
commit | commitdiff | tree |
2019-04-16 |
Eddie Hung | Port from xc7mux branch
|
commit | commitdiff | tree |
2019-04-16 |
Eddie Hung | Re-enable partsel.v test
|
commit | commitdiff | tree |
2019-04-16 |
Eddie Hung | abc9 to call "setundef -zero" behaving as for abc
|
commit | commitdiff | tree |
2019-04-16 |
Eddie Hung | Revert #895
|
commit | commitdiff | tree |
2019-04-16 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig
|
commit | commitdiff | tree |
2019-04-13 |
Eddie Hung | Forgot backslashes
|
commit | commitdiff | tree |
2019-04-13 |
Eddie Hung | Handle __dummy_o__ and __const[01]__ in read_aiger...
|
commit | commitdiff | tree |
2019-04-13 |
Eddie Hung | abc to ignore __dummy_o__ and __const[01]__ when re...
|
commit | commitdiff | tree |
2019-04-13 |
Eddie Hung | Output __const0__ and __const1__ CIs
|
commit | commitdiff | tree |
2019-04-13 |
Eddie Hung | Merge branch 'xaig' of github.com:YosysHQ/yosys into...
|
commit | commitdiff | tree |
2019-04-13 |
Eddie Hung | Fix inout handling for -map option
|
commit | commitdiff | tree |
2019-04-12 |
Eddie Hung | Merge branch 'xaig' of github.com:YosysHQ/yosys into...
|
commit | commitdiff | tree |
2019-04-12 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig
|
commit | commitdiff | tree |
2019-04-12 |
Eddie Hung | Use -map instead of -symbols for aiger
|
commit | commitdiff | tree |
2019-04-12 |
Eddie Hung | ci_bits and co_bits now a list, order is important...
|
commit | commitdiff | tree |
2019-04-12 |
Eddie Hung | Also cope with duplicated CIs
|
commit | commitdiff | tree |
2019-04-12 |
Eddie Hung | WIP
|
commit | commitdiff | tree |
2019-04-12 |
Eddie Hung | Comment out
|
commit | commitdiff | tree |
2019-04-12 |
Eddie Hung | Add support for synth_xilinx -abc9 and ignore abc9...
|
commit | commitdiff | tree |
2019-04-12 |
Eddie Hung | Cope with an output having same name as an input (i...
|
commit | commitdiff | tree |
2019-04-12 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig
|
commit | commitdiff | tree |
2019-04-11 |
Eddie Hung | Add default entry to testcase
|
commit | commitdiff | tree |
2019-04-11 |
Eddie Hung | Recognise default entry in case even if all cases covered...
|
commit | commitdiff | tree |
2019-04-11 |
Eddie Hung | Add non-input bits driven by unrecognised cells as...
|
commit | commitdiff | tree |
2019-04-10 |
Eddie Hung | parse_aiger() to rename all $lut cells after "clean"
|
commit | commitdiff | tree |
2019-04-08 |
Eddie Hung | More space fixing
|
commit | commitdiff | tree |
2019-04-08 |
Eddie Hung | Fix spacing
|
commit | commitdiff | tree |
2019-04-08 |
Eddie Hung | Merge branch 'master' into xaig
|
commit | commitdiff | tree |
2019-03-25 |
Eddie Hung | Create one $shiftx per bit in width
|
commit | commitdiff | tree |
2019-03-23 |
Eddie Hung | Add a pmux-to-shiftx optimisation to proc_mux
|
commit | commitdiff | tree |
2019-03-19 |
Eddie Hung | Merge https://github.com/YosysHQ/yosys into read_aiger
|
commit | commitdiff | tree |
2019-03-19 |
Eddie Hung | Add author name
|
commit | commitdiff | tree |
2019-03-09 |
Eddie Hung | Update help message for -chparam
|
commit | commitdiff | tree |
2019-03-09 |
Eddie Hung | Add -chparam option to verific command
|
commit | commitdiff | tree |
2019-03-09 |
Eddie Hung | Fix spelling
|
commit | commitdiff | tree |
2019-02-26 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig
|
commit | commitdiff | tree |
2019-02-26 |
Eddie Hung | Uncomment out more tests
|
commit | commitdiff | tree |
2019-02-26 |
Eddie Hung | abc9 -- multiple connections for inouts
|
commit | commitdiff | tree |
2019-02-26 |
Eddie Hung | write_xaiger to behave for undriven/unused inouts
|
commit | commitdiff | tree |
2019-02-26 |
Eddie Hung | parse_xaiger() to really pass single and multi-bit...
|
commit | commitdiff | tree |
2019-02-26 |
Eddie Hung | Add IdString::ends_with()
|
commit | commitdiff | tree |
2019-02-26 |
Eddie Hung | Enable two inout tests
|
commit | commitdiff | tree |
2019-02-26 |
Eddie Hung | parse_xaiger() to cope with multi bit inouts
|
commit | commitdiff | tree |
2019-02-26 |
Eddie Hung | abc9 cleanup
|
commit | commitdiff | tree |
2019-02-26 |
Eddie Hung | parse_xaiger() to untransform $inout.out output ports
|
commit | commitdiff | tree |
2019-02-26 |
Eddie Hung | write_xaiger duplicate inout port into out port with...
|
commit | commitdiff | tree |
2019-02-25 |
Eddie Hung | read_aiger to accept empty string for clk_name, passable...
|
commit | commitdiff | tree |
2019-02-25 |
Eddie Hung | abc9 not to clean after aigmap
|
commit | commitdiff | tree |
2019-02-25 |
Eddie Hung | Cleanup abc9 code
|
commit | commitdiff | tree |
2019-02-25 |
Eddie Hung | Add broken testcases
|
commit | commitdiff | tree |
2019-02-25 |
Eddie Hung | abc9 to call "clean" once at the end of all abc9_module...
|
commit | commitdiff | tree |
2019-02-22 |
Eddie Hung | abc9 to use AIGER symbol table, as opposed to map file
|
commit | commitdiff | tree |
2019-02-22 |
Eddie Hung | write_xaiger to write __dummy_o__ for -symbols too
|
commit | commitdiff | tree |
2019-02-22 |
Eddie Hung | read_aiger to work with symbol table
|
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Revert "abc9 to write_xaiger -symbols, not -map"
|
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Remove irrelevant citations
|
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Add attribution
|
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | abc9 to not select anything extra, and pop selection...
|
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | abc9 to write_xaiger -symbols, not -map
|
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Merge branch 'read_aiger' into xaig
|
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Merge branch 'read_aiger' of https://github.com/eddiehung...
|
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Merge branch 'read_aiger' into xaig
|
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | abc9 to use &mfs
|
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Revert "tests/simple to also do LUT synth"
|
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig
|
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | tests/simple to also do LUT synth
|
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Working simple_abc9 tests
|
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | abc9 to only disconnect output ports of AND and NOT...
|
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | write_xaiger to use original bit for co, not sigmap...
|
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Add abc9.v testcase to simple_abc9
|
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Merge branch 'clifford/dffsrfix' of https://github...
|
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Revert "Add -B option to autotest.sh to append to backend_opts"
|
commit | commitdiff | tree |
next |