aboutsummaryrefslogtreecommitdiffstats
path: root/kernel
Commit message (Collapse)AuthorAgeFilesLines
* formalff: Set new replaced_by_gclk attribute on removed dff's clksJannis Harder2022-08-161-0/+1
| | | | | | This attribute can be used by formal backends to indicate which clocks were mapped to the global clock. Update the btor and smt2 backend which already handle clock inputs to understand this attribute.
* Add the $anyinit cell and the formalff passJannis Harder2022-08-166-6/+48
| | | | | | | These can be used to protect undefined flip-flop initialization values from optimizations that are not sound for formal verification and can help mapping all solver-provided values in witness traces for flows that use different backends simultaneously.
* Encode filename unprintable charsMiodrag Milanovic2022-08-081-0/+15
|
* Assorted microoptimization speedups in core data structures.Marcelina Kościelnicka2022-07-276-193/+117
|
* Make all compile under OpenBSD (#3423)Miodrag Milanović2022-07-272-0/+42
| | | Co-authored-by: Josuah Demangeon <me@josuah.net>
* Merge pull request #3392 from rockybulwinkle/rockybulwinkle-patch-1Miodrag Milanović2022-07-111-0/+4
|\ | | | | Update tcl doc, yosys does not return data to tcl
| * Remove empty linesMarcelina Kościelnicka2022-07-111-2/+0
| |
| * 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.
* | using more portable formattingMiodrag Milanovic2022-07-061-1/+1
|/
* 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
| | |
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-26 01:38:04 +0000