aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat/sim.cc
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #3185 from YosysHQ/micko/co_simMiodrag Milanović2022-02-071-21/+430
|\
| * Error detection for co-simulationMiodrag Milanovic2022-02-041-0/+3
| * bug fix and cleanupsMiodrag Milanovic2022-02-041-5/+5
| * respect hide_internal flagMiodrag Milanovic2022-02-021-1/+1
| * unify cycles counting and cleanupMiodrag Milanovic2022-02-021-36/+35
| * added stimulus mode and param checkMiodrag Milanovic2022-02-021-5/+31
| * error when no signal foundMiodrag Milanovic2022-01-311-0/+2
| * CleanupMiodrag Milanovic2022-01-311-1/+1
| * Compare bits when not all are definedMiodrag Milanovic2022-01-311-3/+17
| * CleanupMiodrag Milanovic2022-01-311-2/+2
| * message updateMiodrag Milanovic2022-01-311-1/+1
| * Display simulation time dataMiodrag Milanovic2022-01-311-1/+4
| * Use edges when explicitMiodrag Milanovic2022-01-311-1/+5
| * Updating initial state and checksMiodrag Milanovic2022-01-311-15/+28
| * Fix scopeMiodrag Milanovic2022-01-311-1/+1
| * check if stop before startMiodrag Milanovic2022-01-281-0/+3
| * set initial state, only flip-flopsMiodrag Milanovic2022-01-281-1/+28
| * ignore not found private signalsMiodrag Milanovic2022-01-281-0/+3
| * recursive checkMiodrag Milanovic2022-01-281-26/+34
| * Do actual compareMiodrag Milanovic2022-01-281-5/+16
| * Add more options and time handlingMiodrag Milanovic2022-01-281-2/+103
| * Display values of outputsMiodrag Milanovic2022-01-261-12/+10
| * Check if stimulatedMiodrag Milanovic2022-01-261-0/+14
| * Read fst and use data to set inputsMiodrag Milanovic2022-01-261-10/+92
| * Add ability to write to FST fileMiodrag Milanovic2022-01-261-11/+109
* | Add $bmux and $demux cells.Marcelina Kościelnicka2022-01-281-0/+6
|/
* memory: Introduce $meminit_v2 cell, with EN input.Marcelina Kościelnicka2021-07-281-0/+1
* Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-081-1/+1
* sim: Add wide port support.Marcelina Kościelnicka2021-05-251-3/+3
* kernel/rtlil: Extract some helpers for checking memory cell types.Marcelina Kościelnicka2021-05-221-1/+1
* sim: Avoid a crash on empty cell connection.Marcelina Kościelnicka2021-03-081-1/+1
* Add rewrite_filename for sim -vcd argument.Chris Dailey2020-11-241-1/+3
* Merge pull request #2403 from nakengelhardt/sim_timescaleN. Engelhardt2020-10-221-0/+21
|\
| * use strftime instead of put_time for gcc 4.8 compatibilityN. Engelhardt2020-10-211-4/+5
| * wild guessing at the problem because it builds fine on my machinesN. Engelhardt2020-10-161-0/+3
| * sim -vcd: add date, version, and option for timescaleN. Engelhardt2020-10-161-0/+17
* | sim: Use Mem helper.Marcelina Kościelnicka2020-10-211-103/+90
|/
* sim - error when memrd and memwr detectedMiodrag Milanovic2020-06-291-1/+4
* Use C++11 final/override keywords.whitequark2020-06-181-2/+2
* sim: Fix handling of constant-connected cell inputs at startupDavid Shah2020-04-211-1/+5
* kernel: big fat patch to use more ID::*, otherwise ID(*)Eddie Hung2020-04-021-57/+57
* kernel: use more ID::*Eddie Hung2020-04-021-11/+11
* Fix sim for assignments with lhs<rhs size, fixes #1565Clifford Wolf2019-12-171-1/+1
* Error out if no top module given before 'sim'Eddie Hung2019-06-051-0/+5
* Fixed minor typo in "sim" help messageacw12512018-09-121-1/+1
* Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-201-2/+2
* Rename "singleton" pass to "uniquify"Clifford Wolf2017-08-201-1/+1
* Add "sim -zinit -rstlen"Clifford Wolf2017-08-181-1/+53
* Add "sim" support for memoriesClifford Wolf2017-08-181-2/+136
* Add support for assert/assume/cover to "sim" commandClifford Wolf2017-08-181-4/+47