aboutsummaryrefslogtreecommitdiffstats
path: root/kernel
Commit message (Collapse)AuthorAgeFilesLines
* Update tcl doc, yosys does not return data to tclrockybulwinkle2022-06-231-0/+6
| | | | | | | This pull request is to address YosysHQ/yosys#2980. The documentation, as originally written, does not make it clear that yosys commands, when used within a tcl script, do not return any value to the tcl script. This pull request notes this and offers a workaround via tee as noted in the issue.
* Add a check for packed memory MEMID uniquenessMarcelina Kościelnicka2022-06-131-0/+10
|
* Use compiler-generated default constructor for RTLIL::Const::ConstHenner Zeller2022-06-092-11/+3
| | | | | | No need for a manual implementation. While at it: have the constructor that takes a string take a const string reference instead to avoid a copy.
* smt2: Add smtlib2_comb_expr attribute to allow user-selected smtlib2 expressionsJacob Lifshay2022-06-021-0/+2
|
* memory_dff: Add support for no_rw_check attribute.Marcelina Kościelnicka2022-06-021-0/+1
|
* Merge pull request #3333 from mohamed/feature/tmpdirMiodrag Milanović2022-05-273-27/+44
|\ | | | | Observe $TMPDIR variable when creating tmp files
| * Cleanup, and fix windowsMiodrag Milanovic2022-05-271-37/+24
| |
| * Observe $TMPDIR variable when creating tmp filesMohamed A. Bamakhrama2022-05-273-4/+34
| | | | | | | | | | | | | | | | | | POSIX defines $TMPDIR as containing the pathname of the directory where programs can create temporary files. On most systems, this variable points to "/tmp". However, on some systems it can point to a different location. Without respecting this variable, yosys fails to run on such systems. Signed-off-by: Mohamed A. Bamakhrama <mohamed@alumni.tum.de>
* | Remove set but unused variableMiodrag Milanovic2022-05-271-4/+0
|/
* Add memory_libmap pass.Marcelina Kościelnicka2022-05-181-0/+12
|
* Merge pull request #3310 from robinsonb5-PRs/masterMiodrag Milanović2022-05-171-0/+2
|\ | | | | Now calls Tcl_Init after creating the interp, fixes clock format.
| * Use log_warning when Tcl_Init fails, report error with Tcl_ErrnoMsg.Alastair M. Robinson2022-05-161-1/+1
| |
| * Now calls Tcl_Init after creating the interp, fixes clock format.Alastair M. Robinson2022-05-101-0/+2
| |
* | Add opt_ffinv pass.Marcelina Kościelnicka2022-05-132-3/+12
| |
* | Add proc_rom pass.Marcelina Kościelnicka2022-05-131-1/+1
|/
* Handle possible non-memory indexed dataMiodrag Milanovic2022-05-061-8/+10
|
* map memory location to wire value, if memory is converted to FFsMiodrag Milanovic2022-05-041-0/+4
|
* Start restoring memory state from VCD/FSTMiodrag Milanovic2022-05-042-1/+33
|
* Ignore change on last edgeMiodrag Milanovic2022-04-221-4/+5
|
* Proper scope naming from FSTMiodrag Milanovic2022-03-302-9/+4
|
* kernel/mem: Only use FF init in read-first emu for mem with initMarcelina Kościelnicka2022-03-281-1/+4
|
* Add some more reserve calls to RTLIL::ConstNotAFile2022-03-251-0/+5
| | | | This results in a slight ~0.22% total speedup synthesizing vexriscv
* More verbose warningsMiodrag Milanovic2022-03-181-1/+2
|
* Recognize registers and set initial state for them in tbMiodrag Milanovic2022-03-162-0/+2
|
* VCD reader support by using external toolMiodrag Milanovic2022-02-282-0/+20
|
* Fix for last clock edge dataMiodrag Milanovic2022-02-251-0/+1
|
* Changed error messageMiodrag Milanovic2022-02-181-1/+1
|
* Add support for various ff/latch cells simulationMiodrag Milanovic2022-02-162-109/+54
|
* Merge branch 'master' into clk2ff-better-namesClaire Xen2022-02-1140-673/+4431
|\
| * Merge pull request #3185 from YosysHQ/micko/co_simMiodrag Milanović2022-02-072-0/+333
| |\ | | | | | | Add co-simulation in sim pass
| | * Error detection for co-simulationMiodrag Milanovic2022-02-041-0/+2
| | |
| | * bug fix and cleanupsMiodrag Milanovic2022-02-041-1/+1
| | |
| | * CleanupMiodrag Milanovic2022-01-311-1/+0
| | |
| | * Display simulation time dataMiodrag Milanovic2022-01-312-1/+23
| | |
| | * ignore not found private signalsMiodrag Milanovic2022-01-281-2/+1
| | |
| | * preserve VCD mangled namesMiodrag Milanovic2022-01-281-1/+3
| | |
| | * detect edges even when xMiodrag Milanovic2022-01-281-2/+2
| | |
| | * cleanupMiodrag Milanovic2022-01-282-14/+1
| | |
| | * Do actual compareMiodrag Milanovic2022-01-282-72/+47
| | |
| | * Add more options and time handlingMiodrag Milanovic2022-01-282-0/+3
| | |
| | * Fix tabs/spacesMiodrag Milanovic2022-01-261-31/+31
| | |
| | * Add fstdata helper classMiodrag Milanovic2022-01-262-0/+344
| | |
| * | Add $bmux and $demux cells.Marcelina Kościelnicka2022-01-288-20/+291
| | |
| * | kernel/mem: Add read-first semantic emulation code.Marcelina Kościelnicka2022-01-282-0/+116
| | |
| * | kernel/mem: Add functions to emulate read port enable/init/reset signals.Marcelina Kościelnicka2022-01-272-0/+226
| |/
| * logger: fix unmatched expected warnings and errorsZachary Snow2022-01-041-11/+11
| | | | | | | | | | | | | | | | - Prevent unmatched expected error patterns from self-matching - Prevent infinite recursion on unmatched expected warnings - Always print the error message for unmatched error patterns - Add test coverage for all unmatched message types - Add test coverage for excess matched logs and warnings
| * Merge pull request #3111 from whitequark/issue-3110Catherine2021-12-141-1/+2
| |\ | | | | | | Fix null pointer dereference after failing to extract DFF from memory
| | * Fix null pointer dereference after failing to extract DFF from memory.Catherine2021-12-141-1/+2
| | | | | | | | | | | | Fixes #3110.
| * | Hotfix for run_shell auto-detectionClaire Xenia Wolf2021-12-141-0/+3
| |/ | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
| * Fix unused param warning with ENABLE_NDEBUG.Marcelina Kościelnicka2021-12-121-1/+1
| |
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-30 21:23:48 +0000