projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
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
2017-07-27
Clifford Wolf
Improve Verific SVA import: negedge and $past
commit
|
commitdiff
|
tree
2017-07-27
Clifford Wolf
Improve Verific SVA importer
commit
|
commitdiff
|
tree
2017-07-26
Clifford Wolf
Add "opt_expr -fine" feature to remove neutral bits...
commit
|
commitdiff
|
tree
2017-07-26
Clifford Wolf
Improve Verific bindings (mostly related to SVA)
commit
|
commitdiff
|
tree
2017-07-25
Clifford Wolf
Improve "help verific" message
commit
|
commitdiff
|
tree
2017-07-25
Clifford Wolf
Add "verific -extnets"
commit
|
commitdiff
|
tree
2017-07-25
Clifford Wolf
Add "using std::get" to yosys.h
commit
|
commitdiff
|
tree
2017-07-25
Clifford Wolf
Improve "verific -all" handling
commit
|
commitdiff
|
tree
2017-07-24
Clifford Wolf
Add "verific -import -d <dump_file"
commit
|
commitdiff
|
tree
2017-07-24
Clifford Wolf
Add "verific -import -flatten" and "verific -import -v"
commit
|
commitdiff
|
tree
2017-07-22
Clifford Wolf
Add more SVA test cases for future Verific work
commit
|
commitdiff
|
tree
2017-07-22
Clifford Wolf
Add "verific -import -k"
commit
|
commitdiff
|
tree
2017-07-22
Clifford Wolf
Add error for cell output ports that are connected...
commit
|
commitdiff
|
tree
2017-07-22
Clifford Wolf
Add some simple SVA test cases for future Verific work
commit
|
commitdiff
|
tree
2017-07-22
Clifford Wolf
Improve docs for verific bindings, add simply sby example
commit
|
commitdiff
|
tree
2017-07-21
Clifford Wolf
Fix handling of empty cell port assignments (i.e. ignor...
commit
|
commitdiff
|
tree
2017-07-21
Clifford Wolf
Fix "read_blif -wideports" handling of cells with wide...
commit
|
commitdiff
|
tree
2017-07-21
Clifford Wolf
Add a paragraph about pre-defined macros to read_verilo...
commit
|
commitdiff
|
tree
2017-07-21
Clifford Wolf
Add verilator support to testbenches generated by yosys...
commit
|
commitdiff
|
tree
2017-07-18
Clifford Wolf
Change intptr_t to uintptr_t in hashlib.h
commit
|
commitdiff
|
tree
2017-07-18
Clifford Wolf
Merge pull request #363 from rqou/master
commit
|
commitdiff
|
tree
next