| 2017-08-31 |
Clifford Wolf | Merge pull request #399 from azonenberg/counter-extraction |
commit | commitdiff | tree |
| 2017-08-31 |
Andrew Zonenberg | Merge branch 'counter-extraction' of github.com:azonenb... |
commit | commitdiff | tree |
| 2017-08-31 |
Andrew Zonenberg | extract_counter: Added optimizations to remove unused... |
commit | commitdiff | tree |
| 2017-08-30 |
Andrew Zonenberg | Merge branch 'master' of https://github.com/cliffordwol... |
commit | commitdiff | tree |
| 2017-08-30 |
Andrew Zonenberg | extract_counter: Minor changes requested to comply... |
commit | commitdiff | tree |
| 2017-08-30 |
Clifford Wolf | Merge pull request #397 from azonenberg/gpak-libfixes |
commit | commitdiff | tree |
| 2017-08-30 |
Clifford Wolf | Add {get,set}_src_attribute() methods on RTLIL::AttrObject |
commit | commitdiff | tree |
| 2017-08-29 |
Andrew Zonenberg | Finished refactoring counter extraction to be nice... |
commit | commitdiff | tree |
| 2017-08-29 |
Andrew Zonenberg | Refactored extract_counter to be generic vs GreenPAK... |
commit | commitdiff | tree |
| 2017-08-29 |
Andrew Zonenberg | Refactoring: Renamed greenpak4_counters pass to extract... |
commit | commitdiff | tree |
| 2017-08-28 |
Andrew Zonenberg | Reformatted GP_COUNTx_ADV resets to avoid Yosys thinkin... |
commit | commitdiff | tree |
| 2017-08-28 |
Clifford Wolf | Merge branch 'azonenberg-recover-reduce' |
commit | commitdiff | tree |
| 2017-08-28 |
Clifford Wolf | Rename recover_reduce to extract_reduce, fix args handling |
commit | commitdiff | tree |
| 2017-08-28 |
Clifford Wolf | Merge branch 'recover-reduce' of https://github.com... |
commit | commitdiff | tree |
| 2017-08-28 |
Clifford Wolf | Further improve extract_fa pass |
commit | commitdiff | tree |
| 2017-08-28 |
Clifford Wolf | Merge pull request #392 from azonenberg/greenpak-portfixes |
commit | commitdiff | tree |
| 2017-08-27 |
Andrew Zonenberg | Fixed bug causing GP_SPI model to not synthesize |
commit | commitdiff | tree |
| 2017-08-27 |
Robert Ou | recover_reduce: Update documentation |
commit | commitdiff | tree |
| 2017-08-27 |
Robert Ou | recover_reduce: Reindent using tabs |
commit | commitdiff | tree |
| 2017-08-27 |
Robert Ou | recover_reduce: Rename recover_reduce_core to recover_r... |
commit | commitdiff | tree |
| 2017-08-27 |
Robert Ou | recover_reduce: Add driver script for the $reduce_... |
commit | commitdiff | tree |
| 2017-08-27 |
Robert Ou | recover_reduce_core: Finish implementing the core function |
commit | commitdiff | tree |
| 2017-08-27 |
Robert Ou | recover_reduce_core: Initial commit |
commit | commitdiff | tree |
| 2017-08-25 |
Clifford Wolf | Don't track , ... contradictions through x/z-bits |
commit | commitdiff | tree |
| 2017-08-25 |
Clifford Wolf | Add removing of redundant pairs of bits in ==, ===... |
commit | commitdiff | tree |
| 2017-08-25 |
Clifford Wolf | Merge branch 'extract_fa' |
commit | commitdiff | tree |
| 2017-08-25 |
Clifford Wolf | Further improve extract_fa (seems to be fully functiona... |
commit | commitdiff | tree |
| 2017-08-25 |
Clifford Wolf | Rename "adders" to "extract_fa" |
commit | commitdiff | tree |
| 2017-08-25 |
Clifford Wolf | Fix bug in write_smt2 (export logic driving hierarchica... |
commit | commitdiff | tree |
| 2017-08-23 |
Clifford Wolf | Towards more generic "adder" function extractor |
commit | commitdiff | tree |
| 2017-08-22 |
Clifford Wolf | Add experimental adders pass |
commit | commitdiff | tree |
| 2017-08-22 |
Clifford Wolf | Add hashlib support for hashing of pools |
commit | commitdiff | tree |
| 2017-08-22 |
Clifford Wolf | Add consteval support for $_ANDNOT_ and $_ORNOT_ |
commit | commitdiff | tree |
| 2017-08-21 |
Clifford Wolf | Remove some dead code from fsm_map |
commit | commitdiff | tree |
| 2017-08-20 |
Clifford Wolf | Rename "singleton" pass to "uniquify" |
commit | commitdiff | tree |
| 2017-08-18 |
Clifford Wolf | More intuitive handling of "cd .." for singleton modules |
commit | commitdiff | tree |
| 2017-08-18 |
Clifford Wolf | Add "sim -zinit -rstlen" |
commit | commitdiff | tree |
| 2017-08-18 |
Clifford Wolf | Merge branch 'sim' |
commit | commitdiff | tree |
| 2017-08-18 |
Clifford Wolf | Add "sim" support for memories |
commit | commitdiff | tree |
| 2017-08-18 |
Clifford Wolf | Add Const methods is_fully_zero(), is_fully_def(),... |
commit | commitdiff | tree |
| 2017-08-18 |
Clifford Wolf | Add support for assert/assume/cover to "sim" command |
commit | commitdiff | tree |
| 2017-08-17 |
Clifford Wolf | Add writeback mode to "sim" command |
commit | commitdiff | tree |
| 2017-08-17 |
Clifford Wolf | Improve "sim" command |
commit | commitdiff | tree |
| 2017-08-16 |
Clifford Wolf | Merge pull request #386 from azonenberg/gpak-counters |
commit | commitdiff | tree |
| 2017-08-16 |
Clifford Wolf | Add "sim" command skeleton |
commit | commitdiff | tree |
| 2017-08-15 |
Andrew Zonenberg | Fixed more issues with GreenPAK counter sim models |
commit | commitdiff | tree |
| 2017-08-15 |
Andrew Zonenberg | Updated PGEN model to have level triggered reset (match... |
commit | commitdiff | tree |
| 2017-08-15 |
Andrew Zonenberg | Fixed bug in GP_COUNTx model |
commit | commitdiff | tree |
| 2017-08-15 |
Andrew Zonenberg | Fixed bug where GP_COUNTx_ADV would wrap even when... |
commit | commitdiff | tree |
| 2017-08-15 |
Clifford Wolf | Merge branch 'azonenberg-rmports' |
commit | commitdiff | tree |
| 2017-08-15 |
Clifford Wolf | Mostly coding style related fixes in rmports pass |
commit | commitdiff | tree |
| 2017-08-15 |
Clifford Wolf | Merge branch 'rmports' of https://github.com/azonenberg... |
commit | commitdiff | tree |
| 2017-08-14 |
Clifford Wolf | Merge pull request #381 from azonenberg/countfix |
commit | commitdiff | tree |
| 2017-08-14 |
Clifford Wolf | Merge pull request #383 from azonenberg/abcfnames |
commit | commitdiff | tree |
| 2017-08-14 |
Clifford Wolf | Merge pull request #382 from azonenberg/jsoniofix |
commit | commitdiff | tree |
| 2017-08-14 |
Clifford Wolf | Merge pull request #384 from azonenberg/crtechlib |
commit | commitdiff | tree |
| 2017-08-14 |
Robert Ou | coolrunner2: Add INVERT parameter to some BUFGs |
commit | commitdiff | tree |
| 2017-08-14 |
Robert Ou | coolrunner2: Add FFs with clock enable to cells_sim.v |
commit | commitdiff | tree |
| 2017-08-14 |
Robert Ou | abc: Allow +/ filenames in the abc command |
commit | commitdiff | tree |
| 2017-08-14 |
Robert Ou | json: Parse inout correctly rather than as an output |
commit | commitdiff | tree |
| 2017-08-14 |
Andrew Zonenberg | rmports: Now remove ports from cell instances if we... |
commit | commitdiff | tree |
| 2017-08-14 |
Andrew Zonenberg | ProcessModule is no longer virtual (why was it in the... |
commit | commitdiff | tree |
| 2017-08-14 |
Andrew Zonenberg | rmports now works on all modules in the design, not... |
commit | commitdiff | tree |
| 2017-08-14 |
Andrew Zonenberg | Updated Makefile to reflect opt_rmports being renamed... |
commit | commitdiff | tree |
| 2017-08-14 |
Andrew Zonenberg | Renamed opt_rmports pass to rmports |
commit | commitdiff | tree |
| 2017-08-14 |
Andrew Zonenberg | Fixed typo in GP_COUNT8 sim model |
commit | commitdiff | tree |
| 2017-08-14 |
Andrew Zonenberg | Fixed typo in error message |
commit | commitdiff | tree |
| 2017-08-14 |
Andrew Zonenberg | Changed LEVEL resets for GP_COUNTx to be properly synth... |
commit | commitdiff | tree |
| 2017-08-14 |
Andrew Zonenberg | Changed LEVEL resets to be edge triggered anyway |
commit | commitdiff | tree |
| 2017-08-14 |
Andrew Zonenberg | Added level-triggered reset support to GP_COUNTx simula... |
commit | commitdiff | tree |
| 2017-08-14 |
Andrew Zonenberg | Fixed undeclared "count" in GP_COUNT8_ADV |
commit | commitdiff | tree |
| 2017-08-14 |
Andrew Zonenberg | Fixed undeclared "count" in GP_COUNT14_ADV |
commit | commitdiff | tree |
| 2017-08-14 |
Andrew Zonenberg | Fixed typo in last commit |
commit | commitdiff | tree |
| 2017-08-14 |
Andrew Zonenberg | Finished initial GP_COUNT8/14/8_ADV/14_ADV sim models... |
commit | commitdiff | tree |
| 2017-08-14 |
Andrew Zonenberg | Fixed typo in COUNT8 model |
commit | commitdiff | tree |
| 2017-08-14 |
Andrew Zonenberg | Moved GP_POR out of digital cells b/c it has delays |
commit | commitdiff | tree |
| 2017-08-14 |
Andrew Zonenberg | Improved cells_sim_digital model for GP_COUNT8 |
commit | commitdiff | tree |
| 2017-08-14 |
Andrew Zonenberg | Refactored GreenPAK4 cells_sim into cells_sim_ams and... |
commit | commitdiff | tree |
| 2017-08-14 |
Andrew Zonenberg | Improved handling of constant connections in opt_rmports |
commit | commitdiff | tree |
| 2017-08-14 |
Andrew Zonenberg | Fixed handling of cell ports that aren't wires |
commit | commitdiff | tree |
| 2017-08-14 |
Andrew Zonenberg | opt_rmports: Fixed incorrect handling of multi-bit... |
commit | commitdiff | tree |
| 2017-08-14 |
Andrew Zonenberg | Removed commented out debug code |
commit | commitdiff | tree |
| 2017-08-14 |
Andrew Zonenberg | Added opt_rmports pass (remove unconnected ports from... |
commit | commitdiff | tree |
| 2017-08-09 |
Clifford Wolf | Add support for set-reset cell variants to opt_rmdff |
commit | commitdiff | tree |
| 2017-08-09 |
Clifford Wolf | Auto-detect JSON front-end |
commit | commitdiff | tree |
| 2017-08-06 |
Clifford Wolf | Add handling of constant reset signals to opt_rmdff |
commit | commitdiff | tree |
| 2017-08-04 |
Clifford Wolf | Add "yosys-smtbmc --smtc-init --smtc-top --noinit" |
commit | commitdiff | tree |
| 2017-08-04 |
Clifford Wolf | Add "-undefined dynamic_lookup" to OSX "yosys-config... |
commit | commitdiff | tree |
| 2017-07-29 |
Clifford Wolf | Fix typo in "abc" pass help message |
commit | commitdiff | tree |
| 2017-07-28 |
Clifford Wolf | Add merging of "past FFs" to verific importer |
commit | commitdiff | tree |
| 2017-07-28 |
Clifford Wolf | Add consolidation of init attributes to opt_clean,... |
commit | commitdiff | tree |
| 2017-07-28 |
Clifford Wolf | Add minimal support for PSL in VHDL via Verific |
commit | commitdiff | tree |
| 2017-07-28 |
Clifford Wolf | Add simple VHDL+PSL example |
commit | commitdiff | tree |
| 2017-07-28 |
Clifford Wolf | Improve Verific HDL language options |
commit | commitdiff | tree |
| 2017-07-28 |
Clifford Wolf | Fix handling of non-user-declared Verific netbus |
commit | commitdiff | tree |
| 2017-07-27 |
Clifford Wolf | Improve Verific SVA importer |
commit | commitdiff | tree |
| 2017-07-27 |
Clifford Wolf | Add counter.sv SVA test |
commit | commitdiff | tree |
| 2017-07-27 |
Clifford Wolf | Add log_warning_noprefix() API, Use for Verific warning... |
commit | commitdiff | tree |
| 2017-07-27 |
Clifford Wolf | Add "verific -import -n" and "verific -import -nosva" |
commit | commitdiff | tree |
| 2017-07-27 |
Clifford Wolf | Improve SVA tests, add Makefile and scripts |
commit | commitdiff | tree |
| next |
projects / yosys.git / shortlog