projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Experimental sim changes
[yosys.git]
/
passes
/
2022-02-25
Claire Xenia Wolf
Experimental sim changes
tree
|
commitdiff
2022-02-22
Claire Xen
Merge pull request #3211 from YosysHQ/micko/witness
tree
|
commitdiff
2022-02-22
Claire Xen
Merge pull request #3197 from YosysHQ/claire/smtbmcfix
tree
|
commitdiff
2022-02-21
Miodrag Milanović
Merge pull request #3203 from YosysHQ/micko/sim_ff
tree
|
commitdiff
2022-02-21
Miodrag Milanovic
Fix handling of ce_over_srst
tree
|
commitdiff
2022-02-18
Claire Xenia Wolf
Fix cycle 0 in aiger witness co-simulation
tree
|
commitdiff
2022-02-18
Miodrag Milanovic
Added AIGER witness file co simulation
tree
|
commitdiff
2022-02-18
Miodrag Milanovic
simplify logic of handling flip-flops and latches
tree
|
commitdiff
2022-02-17
Miodrag Milanovic
Review cleanup
tree
|
commitdiff
2022-02-16
Miodrag Milanovic
Add support for various ff/latch cells simulation
tree
|
commitdiff
2022-02-11
Claire Xen
Merge pull request #2376 from nmoroze/clk2ff-better...
tree
|
commitdiff
2022-02-11
Miodrag Milanović
Merge pull request #3164 from zachjs/fix-ast-warn
tree
|
commitdiff
2022-02-11
Claire Xen
Merge branch 'master' into clk2ff-better-names
tree
|
commitdiff
2022-02-11
Claire Xen
Merge pull request #2019 from boqwxp/glift
tree
|
commitdiff
2022-02-07
Miodrag Milanović
Merge pull request #3185 from YosysHQ/micko/co_sim
tree
|
commitdiff
2022-02-04
Miodrag Milanovic
Error detection for co-simulation
tree
|
commitdiff
2022-02-04
Miodrag Milanovic
bug fix and cleanups
tree
|
commitdiff
2022-02-02
Miodrag Milanović
Merge pull request #3182 from yrabbit/wip-doc2
tree
|
commitdiff
2022-02-02
YRabbit
Correct a typo in the manual
tree
|
commitdiff
2022-02-02
Miodrag Milanovic
respect hide_internal flag
tree
|
commitdiff
2022-02-02
Miodrag Milanovic
unify cycles counting and cleanup
tree
|
commitdiff
2022-02-02
Miodrag Milanovic
added stimulus mode and param check
tree
|
commitdiff
2022-02-02
Scott Thibault
Update comment
tree
|
commitdiff
2022-02-02
Scott Thibault
Fix unextend method for signed constants
tree
|
commitdiff
2022-01-31
Miodrag Milanovic
error when no signal found
tree
|
commitdiff
2022-01-31
Miodrag Milanovic
Cleanup
tree
|
commitdiff
2022-01-31
Miodrag Milanovic
Compare bits when not all are defined
tree
|
commitdiff
2022-01-31
Miodrag Milanovic
Cleanup
tree
|
commitdiff
2022-01-31
Miodrag Milanovic
message update
tree
|
commitdiff
2022-01-31
Miodrag Milanovic
Display simulation time data
tree
|
commitdiff
2022-01-31
Miodrag Milanovic
Use edges when explicit
tree
|
commitdiff
2022-01-31
Miodrag Milanovic
Updating initial state and checks
tree
|
commitdiff
2022-01-31
Miodrag Milanovic
Fix scope
tree
|
commitdiff
2022-01-30
Marcelina Kościelnicka
opt_reduce: Add $bmux and $demux optimization patterns.
tree
|
commitdiff
2022-01-28
Marcelina Kościelnicka
Add $bmux and $demux cells.
tree
|
commitdiff
2022-01-28
Miodrag Milanovic
check if stop before start
tree
|
commitdiff
2022-01-28
Miodrag Milanovic
set initial state, only flip-flops
tree
|
commitdiff
2022-01-28
Miodrag Milanovic
ignore not found private signals
tree
|
commitdiff
2022-01-28
Miodrag Milanovic
recursive check
tree
|
commitdiff
2022-01-28
Miodrag Milanovic
Do actual compare
tree
|
commitdiff
2022-01-28
Miodrag Milanovic
Add more options and time handling
tree
|
commitdiff
2022-01-28
Marcelina Kościelnicka
opt_dff: Don't mutate muxes while ModWalker is active.
tree
|
commitdiff
2022-01-27
Marcelina Kościelnicka
memory_bram: Make use of new mem emulation functions...
tree
|
commitdiff
2022-01-26
Miodrag Milanovic
Display values of outputs
tree
|
commitdiff
2022-01-26
Miodrag Milanovic
Check if stimulated
tree
|
commitdiff
2022-01-26
Miodrag Milanovic
Read fst and use data to set inputs
tree
|
commitdiff
2022-01-26
Miodrag Milanovic
Add ability to write to FST file
tree
|
commitdiff
2022-01-19
Miodrag Milanović
Merge pull request #3120 from Icenowy/anlogic-bram
tree
|
commitdiff
2022-01-17
N. Engelhardt
Merge pull request #3145 from nakengelhardt/advertise_s...
tree
|
commitdiff
2022-01-04
Austin Seipp
opt_dff: fix sequence point copy paste bug
tree
|
commitdiff
2021-12-25
Catherine
Merge pull request #3127 from whitequark/cxxrtl-no...
tree
|
commitdiff
2021-12-20
Marcelina Kościelnicka
memory_share: Fix SAT-based sharing for wide ports.
tree
|
commitdiff
2021-12-16
Catherine
Merge pull request #3115 from whitequark/issue-3112
tree
|
commitdiff
2021-12-16
Catherine
Merge pull request #3114 from whitequark/issue-3113
tree
|
commitdiff
2021-12-15
Catherine
bugpoint: avoid infinite loop between -connections...
tree
|
commitdiff
2021-12-12
Marcelina Kościelnicka
Add clean_zerowidth pass, use it for Verilog output.
tree
|
commitdiff
2021-12-10
Miodrag Milanović
Merge pull request #3097 from YosysHQ/modport
tree
|
commitdiff
2021-12-08
Marcelina Kościelnicka
opt_mem_priority: Fix non-ascii char in help message.
tree
|
commitdiff
2021-11-25
Lofty
sta: very crude static timing analysis pass
tree
|
commitdiff
2021-11-12
Marcelina Kościelnicka
show: Fix wire bit indexing.
tree
|
commitdiff
2021-11-10
Claire Xen
Merge pull request #3075 from YosysHQ/micko/verific_mem...
tree
|
commitdiff
2021-11-10
Claire Xen
Merge pull request #3077 from YosysHQ/claire/genlib
tree
|
commitdiff
2021-11-10
Claire Xen
Spelling fix in abc.cc
tree
|
commitdiff
2021-11-10
Claire Xenia Wolf
Add genlib support to ABC command
tree
|
commitdiff
2021-11-10
Marcelina Kościelnicka
iopadmap: Fix ebmarassing typo
tree
|
commitdiff
2021-11-09
Marcelina Kościelnicka
iopadmap: Add native support for negative-polarity...
tree
|
commitdiff
2021-11-06
Pepijn de Vos
gowin: widelut support (#3042)
tree
|
commitdiff
2021-11-05
Miodrag Milanovic
Make it work on all
tree
|
commitdiff
2021-11-05
Miodrag Milanovic
Correct way of setting maybe_unsused on labels
tree
|
commitdiff
2021-11-05
Miodrag Milanović
Merge pull request #3067 from YosysHQ/aki/ci_update
tree
|
commitdiff
2021-11-02
Marcelina Kościelnicka
flatten: Keep sigmap around between flatten_cell invoca...
tree
|
commitdiff
2021-10-27
Marcelina Kościelnicka
proc_dff: Emit $aldff.
tree
|
commitdiff
2021-10-27
Marcelina Kościelnicka
dfflegalize: Refactor, add aldff support.
tree
|
commitdiff
2021-10-26
Zachary Snow
verilog: use derived module info to elaborate cell...
tree
|
commitdiff
2021-10-26
Rupert Swarbrick
Split out logic for reprocessing an AstModule
tree
|
commitdiff
2021-10-21
Marcelina Kościelnicka
Change implicit conversions from bool to Sig* to explicit.
tree
|
commitdiff
2021-10-21
Marcelina Kościelnicka
extract_reduce: Refactor and fix input signal construction.
tree
|
commitdiff
2021-10-19
Miodrag Milanović
Merge pull request #3045 from galibert/master
tree
|
commitdiff
2021-10-17
Paul Annesley
dfflegalize: remove redundant check for initialized...
tree
|
commitdiff
2021-10-07
Marcelina Kościelnicka
FfData: some refactoring.
tree
|
commitdiff
2021-10-02
Marcelina Kościelnicka
Hook up $aldff support in various passes.
tree
|
commitdiff
2021-10-02
Marcelina Kościelnicka
zinit: Refactor to use FfData.
tree
|
commitdiff
2021-10-02
Marcelina Kościelnicka
kernel/ff: Refactor FfData to enable FFs with async...
tree
|
commitdiff
2021-10-02
Marcelina Kościelnicka
simplemap: refactor to use FfData.
tree
|
commitdiff
2021-09-09
Eddie Hung
abc9: make re-entrant (#2993)
tree
|
commitdiff
2021-09-09
Eddie Hung
abc9: holes module to instantiate cells with NEW_ID...
tree
|
commitdiff
2021-09-09
Eddie Hung
abc9: replace cell type/parameters if derived type...
tree
|
commitdiff
2021-08-22
Marcelina Kościelnicka
opt_merge: Remove and reinsert init when connecting...
tree
|
commitdiff
2021-08-22
Marcelina Kościelnicka
opt_clean: Make the init attribute follow the FF's Q.
tree
|
commitdiff
2021-08-14
Marcelina Kościelnicka
proc_prune: Make assign removal and promotion per-bit...
tree
|
commitdiff
2021-08-13
Marcelina Kościelnicka
Add opt_mem_widen pass.
tree
|
commitdiff
2021-08-13
Marcelina Kościelnicka
memory_share: Add -nosat and -nowiden options.
tree
|
commitdiff
2021-08-13
Marcelina Kościelnicka
memory_dff: Recognize soft transparency logic.
tree
|
commitdiff
2021-08-13
Marcelina Kościelnicka
Add new opt_mem_priority pass.
tree
|
commitdiff
2021-08-13
Miodrag Milanović
Merge pull request #2932 from YosysHQ/mwk/logger-check...
tree
|
commitdiff
2021-08-12
Marcelina Kościelnicka
memory_share: Pass addresses through sigmap_xmux everyw...
tree
|
commitdiff
2021-08-12
Marcelina Kościelnicka
logger: Add -check-expected subcommand.
tree
|
commitdiff
2021-08-11
Marcelina Kościelnicka
memory_dff: Recognize read ports with reset / initial...
tree
|
commitdiff
2021-08-11
Marcelina Kościelnicka
proc_memwr: Use the v2 memwr cell.
tree
|
commitdiff
2021-08-11
Marcelina Kościelnicka
Add v2 memory cells.
tree
|
commitdiff
next