projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fix reading aiw from other solvers
[yosys.git]
/
passes
/
sat
/
sim.cc
2022-04-15
Miodrag Milanovic
Fix reading aiw from other solvers
blob
|
commitdiff
|
raw
2022-04-04
Miodrag Milanović
Merge pull request #3265 from YosysHQ/micko/sim_improve...
blob
|
commitdiff
|
raw
|
diff to current
2022-04-02
Miodrag Milanovic
past_ad initial value setting
blob
|
commitdiff
|
raw
|
diff to current
2022-04-02
Miodrag Milanovic
setInitState can be only one altering values
blob
|
commitdiff
|
raw
|
diff to current
2022-04-02
Miodrag Milanovic
Set past_d value for init state
blob
|
commitdiff
|
raw
|
diff to current
2022-03-31
Miodrag Milanović
Merge pull request #3256 from YosysHQ/micko/aiw_multiclock
blob
|
commitdiff
|
raw
|
diff to current
2022-03-31
Miodrag Milanovic
Support memories in aiw and multiclock
blob
|
commitdiff
|
raw
|
diff to current
2022-03-28
Lofty
Merge pull request #3194 from Ravenslofty/abc9-flow3mfs
blob
|
commitdiff
|
raw
|
diff to current
2022-03-22
Miodrag Milanovic
Proper SigBit forming in sim
blob
|
commitdiff
|
raw
|
diff to current
2022-03-22
Miodrag Milanovic
Proper SigBit forming in sim
blob
|
commitdiff
|
raw
|
diff to current
2022-03-18
Miodrag Milanovic
More verbose warnings
blob
|
commitdiff
|
raw
|
diff to current
2022-03-17
Miodrag Milanović
Merge pull request #3236 from YosysHQ/micko/tb_initial
blob
|
commitdiff
|
raw
|
diff to current
2022-03-16
Miodrag Milanovic
Recognize registers and set initial state for them...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-16
Miodrag Milanovic
Update sim help message.
blob
|
commitdiff
|
raw
|
diff to current
2022-03-14
Miodrag Milanović
Merge pull request #3232 from YosysHQ/micko/fst2tb
blob
|
commitdiff
|
raw
|
diff to current
2022-03-14
Miodrag Milanovic
Added fst2tb pass for generating testbench
blob
|
commitdiff
|
raw
|
diff to current
2022-03-14
Claire Xen
Merge pull request #3213 from antonblanchard/abc-typo
blob
|
commitdiff
|
raw
|
diff to current
2022-03-11
Miodrag Milanović
Merge pull request #3229 from YosysHQ/micko/sim_date
blob
|
commitdiff
|
raw
|
diff to current
2022-03-11
Miodrag Milanović
Merge pull request #3222 from zachjs/prune-linux-ci
blob
|
commitdiff
|
raw
|
diff to current
2022-03-11
Miodrag Milanović
Merge pull request #3228 from YosysHQ/micko/disable_tests
blob
|
commitdiff
|
raw
|
diff to current
2022-03-11
Claire Xenia Wolf
Add "sim -q" option
blob
|
commitdiff
|
raw
|
diff to current
2022-03-11
Miodrag Milanovic
Add date parameter to enable full date/time and version...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-11
Claire Xenia Wolf
Small fix in "sim" help message
blob
|
commitdiff
|
raw
|
diff to current
2022-03-11
Miodrag Milanović
Merge pull request #3226 from YosysHQ/micko/btor2witness
blob
|
commitdiff
|
raw
|
diff to current
2022-03-11
Miodrag Milanovic
FstData already do conversion to VCD
blob
|
commitdiff
|
raw
|
diff to current
2022-03-11
Miodrag Milanovic
Support cell name in btor witness file
blob
|
commitdiff
|
raw
|
diff to current
2022-03-11
Miodrag Milanovic
Proper write of memory data
blob
|
commitdiff
|
raw
|
diff to current
2022-03-09
Miodrag Milanovic
Start work on memory init
blob
|
commitdiff
|
raw
|
diff to current
2022-03-09
Miodrag Milanovic
Fixes and error check
blob
|
commitdiff
|
raw
|
diff to current
2022-03-07
Miodrag Milanovic
cleanup
blob
|
commitdiff
|
raw
|
diff to current
2022-03-07
Miodrag Milanovic
Error checks for aiger witness
blob
|
commitdiff
|
raw
|
diff to current
2022-03-07
Miodrag Milanovic
btor2 witness co-simulation
blob
|
commitdiff
|
raw
|
diff to current
2022-03-07
Miodrag Milanović
Merge pull request #3210 from rqou/json-signed
blob
|
commitdiff
|
raw
|
diff to current
2022-03-04
Miodrag Milanović
Merge pull request #3186 from nakengelhardt/smtbmc_sby_...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-04
Miodrag Milanović
Merge pull request #3206 from YosysHQ/micko/quote_remove
blob
|
commitdiff
|
raw
|
diff to current
2022-03-04
Miodrag Milanović
Merge pull request #3207 from nakengelhardt/json_escape...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-04
Miodrag Milanović
Merge pull request #3219 from YosysHQ/micko/quick_vcd
blob
|
commitdiff
|
raw
|
diff to current
2022-03-04
Miodrag Milanović
Merge pull request #3220 from YosysHQ/claire/simstuff
blob
|
commitdiff
|
raw
|
diff to current
2022-03-02
Miodrag Milanovic
Add option to ignore X only signals in output
blob
|
commitdiff
|
raw
|
diff to current
2022-03-02
Miodrag Milanovic
Write simulation files after simulation is performed
blob
|
commitdiff
|
raw
|
diff to current
2022-03-02
Claire Xen
Merge pull request #3224 from YosysHQ/micko/refactor
blob
|
commitdiff
|
raw
|
diff to current
2022-03-02
Miodrag Milanovic
Cleanup
blob
|
commitdiff
|
raw
|
diff to current
2022-02-28
Miodrag Milanovic
Refactor sim output writers
blob
|
commitdiff
|
raw
|
diff to current
2022-02-28
Miodrag Milanovic
Quick fix
blob
|
commitdiff
|
raw
|
diff to current
2022-02-28
Claire Xenia Wolf
Add writing of aiw files to "sim" command
blob
|
commitdiff
|
raw
|
diff to current
2022-02-28
Claire Xenia Wolf
Hotfix in AIGER witness reader state machine
blob
|
commitdiff
|
raw
|
diff to current
2022-02-28
Miodrag Milanovic
VCD reader support by using external tool
blob
|
commitdiff
|
raw
|
diff to current
2022-02-28
Miodrag Milanović
Merge pull request #3216 from YosysHQ/claire/simstuff
blob
|
commitdiff
|
raw
|
diff to current
2022-02-27
Miodrag Milanovic
Support extended aiw format
blob
|
commitdiff
|
raw
|
diff to current
2022-02-25
Miodrag Milanovic
Fix for last clock edge data
blob
|
commitdiff
|
raw
|
diff to current
2022-02-25
Claire Xenia Wolf
Experimental sim changes
blob
|
commitdiff
|
raw
|
diff to current
2022-02-22
Claire Xen
Merge pull request #3211 from YosysHQ/micko/witness
blob
|
commitdiff
|
raw
|
diff to current
2022-02-22
Claire Xen
Merge pull request #3197 from YosysHQ/claire/smtbmcfix
blob
|
commitdiff
|
raw
|
diff to current
2022-02-21
Miodrag Milanović
Merge pull request #3203 from YosysHQ/micko/sim_ff
blob
|
commitdiff
|
raw
|
diff to current
2022-02-21
Miodrag Milanovic
Fix handling of ce_over_srst
blob
|
commitdiff
|
raw
|
diff to current
2022-02-18
Claire Xenia Wolf
Fix cycle 0 in aiger witness co-simulation
blob
|
commitdiff
|
raw
|
diff to current
2022-02-18
Miodrag Milanovic
Added AIGER witness file co simulation
blob
|
commitdiff
|
raw
|
diff to current
2022-02-18
Miodrag Milanovic
simplify logic of handling flip-flops and latches
blob
|
commitdiff
|
raw
|
diff to current
2022-02-17
Miodrag Milanovic
Review cleanup
blob
|
commitdiff
|
raw
|
diff to current
2022-02-16
Miodrag Milanovic
Add support for various ff/latch cells simulation
blob
|
commitdiff
|
raw
|
diff to current
2022-02-11
Miodrag Milanović
Merge pull request #3164 from zachjs/fix-ast-warn
blob
|
commitdiff
|
raw
|
diff to current
2022-02-11
Claire Xen
Merge branch 'master' into clk2ff-better-names
blob
|
commitdiff
|
raw
|
diff to current
2022-02-11
Claire Xen
Merge pull request #2019 from boqwxp/glift
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
Miodrag Milanović
Merge pull request #3185 from YosysHQ/micko/co_sim
blob
|
commitdiff
|
raw
|
diff to current
2022-02-04
Miodrag Milanovic
Error detection for co-simulation
blob
|
commitdiff
|
raw
|
diff to current
2022-02-04
Miodrag Milanovic
bug fix and cleanups
blob
|
commitdiff
|
raw
|
diff to current
2022-02-02
Miodrag Milanovic
respect hide_internal flag
blob
|
commitdiff
|
raw
|
diff to current
2022-02-02
Miodrag Milanovic
unify cycles counting and cleanup
blob
|
commitdiff
|
raw
|
diff to current
2022-02-02
Miodrag Milanovic
added stimulus mode and param check
blob
|
commitdiff
|
raw
|
diff to current
2022-01-31
Miodrag Milanovic
error when no signal found
blob
|
commitdiff
|
raw
|
diff to current
2022-01-31
Miodrag Milanovic
Cleanup
blob
|
commitdiff
|
raw
|
diff to current
2022-01-31
Miodrag Milanovic
Compare bits when not all are defined
blob
|
commitdiff
|
raw
|
diff to current
2022-01-31
Miodrag Milanovic
Cleanup
blob
|
commitdiff
|
raw
|
diff to current
2022-01-31
Miodrag Milanovic
message update
blob
|
commitdiff
|
raw
|
diff to current
2022-01-31
Miodrag Milanovic
Display simulation time data
blob
|
commitdiff
|
raw
|
diff to current
2022-01-31
Miodrag Milanovic
Use edges when explicit
blob
|
commitdiff
|
raw
|
diff to current
2022-01-31
Miodrag Milanovic
Updating initial state and checks
blob
|
commitdiff
|
raw
|
diff to current
2022-01-31
Miodrag Milanovic
Fix scope
blob
|
commitdiff
|
raw
|
diff to current
2022-01-28
Marcelina Kościelnicka
Add $bmux and $demux cells.
blob
|
commitdiff
|
raw
|
diff to current
2022-01-28
Miodrag Milanovic
check if stop before start
blob
|
commitdiff
|
raw
|
diff to current
2022-01-28
Miodrag Milanovic
set initial state, only flip-flops
blob
|
commitdiff
|
raw
|
diff to current
2022-01-28
Miodrag Milanovic
ignore not found private signals
blob
|
commitdiff
|
raw
|
diff to current
2022-01-28
Miodrag Milanovic
recursive check
blob
|
commitdiff
|
raw
|
diff to current
2022-01-28
Miodrag Milanovic
Do actual compare
blob
|
commitdiff
|
raw
|
diff to current
2022-01-28
Miodrag Milanovic
Add more options and time handling
blob
|
commitdiff
|
raw
|
diff to current
2022-01-26
Miodrag Milanovic
Display values of outputs
blob
|
commitdiff
|
raw
|
diff to current
2022-01-26
Miodrag Milanovic
Check if stimulated
blob
|
commitdiff
|
raw
|
diff to current
2022-01-26
Miodrag Milanovic
Read fst and use data to set inputs
blob
|
commitdiff
|
raw
|
diff to current
2022-01-26
Miodrag Milanovic
Add ability to write to FST file
blob
|
commitdiff
|
raw
|
diff to current
2021-07-28
Marcelina Kościelnicka
memory: Introduce $meminit_v2 cell, with EN input.
blob
|
commitdiff
|
raw
|
diff to current
2021-06-09
Claire Xen
Merge pull request #2817 from YosysHQ/claire/fixemails
blob
|
commitdiff
|
raw
|
diff to current
2021-06-07
Claire Xenia Wolf
Fixing old e-mail addresses and deadnames
blob
|
commitdiff
|
raw
|
diff to current
2021-05-25
Marcelina Kościelnicka
sim: Add wide port support.
blob
|
commitdiff
|
raw
|
diff to current
2021-05-22
Marcelina Kościelnicka
kernel/rtlil: Extract some helpers for checking memory...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-11
whitequark
Merge pull request #2642 from whitequark/cxxrtl-noproc...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-09
whitequark
Merge pull request #2643 from zachjs/fix-param-no-defau...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-08
Marcelina Kościelnicka
sim: Avoid a crash on empty cell connection.
blob
|
commitdiff
|
raw
|
diff to current
2021-02-03
whitequark
Merge pull request #2436 from dalance/fix_generate
blob
|
commitdiff
|
raw
|
diff to current
2020-12-02
whitequark
Merge pull request #2446 from RobertBaruch/rtlil_format
blob
|
commitdiff
|
raw
|
diff to current
2020-11-25
whitequark
Merge pull request #2452 from whitequark/rtlil-remove...
blob
|
commitdiff
|
raw
|
diff to current
next