2019-06-10 |
Eddie Hung | Add test
|
commit | commitdiff | tree |
2019-06-10 |
Eddie Hung | Add some more comments
|
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Fix spacing from spaces to tabs
|
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Add read_aiger to CHANGELOG
|
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Fix spacing (entire file is wrong anyway, will fix...
|
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Remove unnecessary std::getline() for ASCII
|
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Test *.aag too, by using *.aig as reference
|
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Fix read_aiger -- create zero driver, fix init width...
|
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Use ABC to convert from AIGER to Verilog
|
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Use ABC to convert AIGER to Verilog, then sat against...
|
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Add symbols to AIGER test inputs for ABC
|
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Allow muxcover costs to be changed
|
commit | commitdiff | tree |
2019-06-05 |
Eddie Hung | Missing doc for -tech xilinx in shregmap
|
commit | commitdiff | tree |
2019-06-05 |
Eddie Hung | Error out if no top module given before 'sim'
|
commit | commitdiff | tree |
2019-06-05 |
Eddie Hung | Fix typo in opt_rmdff
|
commit | commitdiff | tree |
2019-06-04 |
Eddie Hung | Remove extra newline
|
commit | commitdiff | tree |
2019-06-04 |
Eddie Hung | Execute techmap and arith_map simultaneously
|
commit | commitdiff | tree |
2019-05-25 |
Eddie Hung | Revert enable check
|
commit | commitdiff | tree |
2019-05-25 |
Eddie Hung | Fix init
|
commit | commitdiff | tree |
2019-05-25 |
Eddie Hung | Fix typos
|
commit | commitdiff | tree |
2019-05-25 |
Eddie Hung | Add more tests
|
commit | commitdiff | tree |
2019-05-25 |
Eddie Hung | Call proc
|
commit | commitdiff | tree |
2019-05-25 |
Eddie Hung | opt_rmdff to optimise even in presence of enable signal...
|
commit | commitdiff | tree |
2019-05-25 |
Eddie Hung | Fix duplicate driver
|
commit | commitdiff | tree |
2019-05-24 |
Eddie Hung | Add comments
|
commit | commitdiff | tree |
2019-05-24 |
Eddie Hung | Resolve @cliffordwolf review, set even if !has_init
|
commit | commitdiff | tree |
2019-05-23 |
Eddie Hung | Fix spacing
|
commit | commitdiff | tree |
2019-05-23 |
Eddie Hung | Add "min bits" and "min wports" to xilinx dram rules
|
commit | commitdiff | tree |
2019-05-23 |
Eddie Hung | Add opt_rmdff tests
|
commit | commitdiff | tree |
2019-05-23 |
Eddie Hung | opt_rmdff to work on $dffe and $_DFFE_*
|
commit | commitdiff | tree |
2019-05-22 |
Eddie Hung | Rename label
|
commit | commitdiff | tree |
2019-05-22 |
Eddie Hung | Try again
|
commit | commitdiff | tree |
2019-05-21 |
Eddie Hung | Fix warning
|
commit | commitdiff | tree |
2019-05-03 |
Eddie Hung | More testing
|
commit | commitdiff | tree |
2019-05-03 |
Eddie Hung | Fix spacing
|
commit | commitdiff | tree |
2019-05-03 |
Eddie Hung | Add quick-and-dirty specify tests
|
commit | commitdiff | tree |
2019-05-03 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into clifford...
|
commit | commitdiff | tree |
2019-05-03 |
Eddie Hung | Rename cells_map.v to prevent clash with ff_map.v
|
commit | commitdiff | tree |
2019-05-03 |
Eddie Hung | iverilog with simcells.v as well
|
commit | commitdiff | tree |
2019-05-03 |
Eddie Hung | Revert "synth_xilinx to call dffinit with -noreinit"
|
commit | commitdiff | tree |
2019-05-03 |
Eddie Hung | If init is 1'bx, do not add to dict as per @cliffordwolf
|
commit | commitdiff | tree |
2019-05-03 |
Eddie Hung | Revert "dffinit -noreinit to silently continue when...
|
commit | commitdiff | tree |
2019-05-03 |
Eddie Hung | synth_xilinx to call dffinit with -noreinit
|
commit | commitdiff | tree |
2019-05-03 |
Eddie Hung | dffinit -noreinit to silently continue when init value...
|
commit | commitdiff | tree |
2019-05-02 |
Eddie Hung | Back to passing all xc7srl tests!
|
commit | commitdiff | tree |
2019-05-02 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into eddie...
|
commit | commitdiff | tree |
2019-05-01 |
Eddie Hung | Merge branch 'master' of github.com:YosysHQ/yosys
|
commit | commitdiff | tree |
2019-04-28 |
Eddie Hung | Copy with 1'bx padding in $shiftx
|
commit | commitdiff | tree |
2019-04-28 |
Eddie Hung | WIP
|
commit | commitdiff | tree |
2019-04-28 |
Eddie Hung | Move neg-pol to pos-pol mapping from ff_map to cells_map.v
|
commit | commitdiff | tree |
2019-04-26 |
Eddie Hung | Revert synth_xilinx 'fine' label more to how it used...
|
commit | commitdiff | tree |
2019-04-26 |
Eddie Hung | Where did this check come from!?!
|
commit | commitdiff | tree |
2019-04-26 |
Eddie Hung | Refactor synth_xilinx to auto-generate doc
|
commit | commitdiff | tree |
2019-04-26 |
Eddie Hung | Cleanup ice40
|
commit | commitdiff | tree |
2019-04-26 |
Eddie Hung | Add -undef option to equiv_opt, passed to equiv_induct
|
commit | commitdiff | tree |
2019-04-22 |
Eddie Hung | Update help message
|
commit | commitdiff | tree |
2019-04-22 |
Eddie Hung | Move 'shregmap -tech xilinx' into map_cells
|
commit | commitdiff | tree |
2019-04-22 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xc7srl
|
commit | commitdiff | tree |
2019-04-21 |
Eddie Hung | Tidy up, fix for -nosrl
|
commit | commitdiff | tree |
2019-04-21 |
Eddie Hung | Merge branch 'map_cells_before_map_luts' into xc7srl
|
commit | commitdiff | tree |
2019-04-21 |
Eddie Hung | Merge branch 'master' into map_cells_before_map_luts
|
commit | commitdiff | tree |
2019-04-21 |
Eddie Hung | Add comments
|
commit | commitdiff | tree |
2019-04-21 |
Eddie Hung | Use new pmux2shiftx from #944, remove my old attempt
|
commit | commitdiff | tree |
2019-04-21 |
Eddie Hung | Merge remote-tracking branch 'origin/clifford/pmux2shiftx...
|
commit | commitdiff | tree |
2019-04-21 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xc7srl
|
commit | commitdiff | tree |
2019-04-20 |
Eddie Hung | Merge remote-tracking branch 'origin/pmux2shiftx' into...
|
commit | commitdiff | tree |
2019-04-20 |
Eddie Hung | Merge remote-tracking branch 'origin' into xc7srl
|
commit | commitdiff | tree |
2019-04-19 |
Eddie Hung | Revert "write_json to not write contents (cells/wires...
|
commit | commitdiff | tree |
2019-04-18 |
Eddie Hung | write_json to not write contents (cells/wires) of whiteboxes
|
commit | commitdiff | tree |
2019-04-18 |
Eddie Hung | Ignore 'whitebox' attr in flatten with "-wb" option
|
commit | commitdiff | tree |
2019-04-18 |
Eddie Hung | Fix abc's remap_name to not ignore [^0-9] when extracting sid
|
commit | commitdiff | tree |
2019-04-18 |
Eddie Hung | ABC to call retime all the time
|
commit | commitdiff | tree |
2019-04-18 |
Eddie Hung | Revert "synth_* with -retime option now calls abc with...
|
commit | commitdiff | tree |
2019-04-18 |
Eddie Hung | Merge branch 'master' into eddie/fix_retime
|
commit | commitdiff | tree |
2019-04-16 |
Eddie Hung | Revert #895
|
commit | commitdiff | tree |
2019-04-11 |
Eddie Hung | Fix ordering of when to insert zero index
|
commit | commitdiff | tree |
2019-04-11 |
Eddie Hung | More unused
|
commit | commitdiff | tree |
2019-04-11 |
Eddie Hung | Remove unused
|
commit | commitdiff | tree |
2019-04-11 |
Eddie Hung | Fixes
|
commit | commitdiff | tree |
2019-04-11 |
Eddie Hung | WIP
|
commit | commitdiff | tree |
2019-04-11 |
Eddie Hung | Spelling fixes
|
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-10 |
Eddie Hung | synth_* with -retime option now calls abc with -D 1...
|
commit | commitdiff | tree |
2019-04-10 |
Eddie Hung | Revert "abc -dff now implies "-D 0" otherwise retiming...
|
commit | commitdiff | tree |
2019-04-10 |
Eddie Hung | Revert ""&nf -D 0" fails => use "-D 1" instead"
|
commit | commitdiff | tree |
2019-04-10 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into eddie...
|
commit | commitdiff | tree |
2019-04-08 |
Eddie Hung | $_XILINX_SHREG_ to preserve src attribute
|
commit | commitdiff | tree |
2019-04-08 |
Eddie Hung | Update CHANGELOG
|
commit | commitdiff | tree |
2019-04-08 |
Eddie Hung | Merge branch 'undo_pr895' into xc7srl
|
commit | commitdiff | tree |
2019-04-08 |
Eddie Hung | Undo #895 by instead setting an attribute
|
commit | commitdiff | tree |
2019-04-08 |
Eddie Hung | Cope with undoing #895
|
commit | commitdiff | tree |
2019-04-08 |
Eddie Hung | Revert "Remove handling for $pmux, since #895"
|
commit | commitdiff | tree |
2019-04-06 |
Eddie Hung | Call shregmap twice -- once for variable, another for...
|
commit | commitdiff | tree |
2019-04-05 |
Eddie Hung | Merge branch 'eddie/fix_retime' into xc7srl
|
commit | commitdiff | tree |
2019-04-05 |
Eddie Hung | Add retime test
|
commit | commitdiff | tree |
2019-04-05 |
Eddie Hung | Fix S0 -> S1
|
commit | commitdiff | tree |
2019-04-05 |
Eddie Hung | Move dffinit til after abc
|
commit | commitdiff | tree |
2019-04-05 |
Eddie Hung | Merge branch 'eddie/fix_retime' into xc7srl
|
commit | commitdiff | tree |
2019-04-05 |
Eddie Hung | Move techamp t:$_DFF_?N? to before abc call
|
commit | commitdiff | tree |
next |