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 |
2019-02-21 |
Eddie Hung | ABC -> ABC9
|
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | abc9 to disconnect mapped_mods POs correctly, and do...
|
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | read_aiger to not do -purge for clean
|
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | lut/not/and suffix to be ${lut,not,and}
|
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | simple_abc9 tests to now preserve memories
|
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | read_aiger to also rename 0 index lut when wideports
|
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Remove swap file
|
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | Remove simple_defparam tests
|
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | write_aiger: fix CI/CO and symbols
|
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | Move tests/techmap/abc9 to simple_abc9
|
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | Add tests/simple_abc9
|
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | abc9 to cope with multiple modules
|
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | abc9 to use & syntax for -fast, and name fixes
|
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | read_aiger: new naming fixes
|
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | read_aiger to name wires with internal name, less likely...
|
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | write_xaiger to not write latches, CO/PO fixes
|
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | synth to take -abc9 argument
|
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | abc9 to cope with indexed wires when creating $lut...
|
commit | commitdiff | tree |
2019-02-19 |
Eddie Hung | Add aiger tests to make tests
|
commit | commitdiff | tree |
2019-02-19 |
Eddie Hung | Add a quick abc9 test
|
commit | commitdiff | tree |
2019-02-19 |
Eddie Hung | Same for ascii AIGERs too
|
commit | commitdiff | tree |
2019-02-19 |
Eddie Hung | read_aiger to cope with non-unique POs
|
commit | commitdiff | tree |
2019-02-19 |
Eddie Hung | Merge branch 'master' into xaig
|
commit | commitdiff | tree |
2019-02-19 |
Eddie Hung | Merge branch 'master' into read_aiger
|
commit | commitdiff | tree |
next |