| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fitting help messages to 80 character width | KrystalDelusion | 2022-08-24 | 24 | -149/+157 |
| | | | | | | | | | | Uses the regex below to search (using vscode): ^\t\tlog\("(.{10,}(?<!\\n)|.{81,}\\n)"\); Finds any log messages double indented (which help messages are) and checks if *either* there are is no newline character at the end, *or* the number of characters before the newline is more than 80. | ||||
| * | sim: -hdlname option to preserve flattened hierarchy in sim output | Jannis Harder | 2022-08-16 | 1 | -9/+41 |
| | | |||||
| * | clk2fflogic: Generate less unused logic when using verific | Jannis Harder | 2022-08-16 | 1 | -1/+4 |
| | | | | | | | Verific generates a lot of FFs with an unused async load and we cannot always optimize that away before running clk2fflogic, so check for that special case here. | ||||
| * | rename: Add -witness mode | Jannis Harder | 2022-08-16 | 1 | -0/+81 |
| | | |||||
| * | memory_map: Add -formal option | Jannis Harder | 2022-08-16 | 1 | -17/+67 |
| | | | | | | | This maps memories for a global clock based formal verification flow. This implies -keepdc, uses $ff cells for ROMs and sets hdlname attributes. | ||||
| * | setundef: Do not add anyseq / anyconst to unused memory port clocks | Jannis Harder | 2022-08-16 | 1 | -0/+24 |
| | | | | | Instead set those unused clocks to zero. | ||||
| * | wreduce: Keep more x-bits with -keepdc | Jannis Harder | 2022-08-16 | 1 | -4/+4 |
| | | |||||
| * | formalff: New -setundef option | Jannis Harder | 2022-08-16 | 1 | -0/+335 |
| | | | | | | | | Find FFs with undefined initialization values for which changing the initialization does not change the observable behavior and initialize them. For -ff2anyinit, this reduces the number of generated $anyinit cells that drive wires with private names. | ||||
| * | formalff: Set new replaced_by_gclk attribute on removed dff's clks | Jannis Harder | 2022-08-16 | 1 | -0/+22 |
| | | | | | | | 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 pass | Jannis Harder | 2022-08-16 | 7 | -1/+199 |
| | | | | | | | | 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. | ||||
| * | Merge pull request #3425 from YosysHQ/lofty/stat-json | N. Engelhardt | 2022-08-11 | 1 | -38/+109 |
| |\ | |||||
| | * | stat: add option for machine-readable json output | Lofty | 2022-08-11 | 1 | -38/+109 |
| | | | |||||
| * | | Merge pull request #3277 from YosysHQ/lofty/rename-scramble_name | N. Engelhardt | 2022-08-11 | 1 | -0/+56 |
| |\ \ | |/ |/| | |||||
| | * | rename: add -scramble-name option to randomly rename selections | Lofty | 2022-08-08 | 1 | -0/+56 |
| | | | |||||
| * | | support file locations containing spaces | Miodrag Milanovic | 2022-08-08 | 3 | -9/+9 |
| |/ | |||||
| * | opt_reduce: Fix use-after-free. | Marcelina Kościelnicka | 2022-07-23 | 1 | -4/+2 |
| | | | | | Fixes #3418. | ||||
| * | sim: Fix $anyseq in nested modules | Jannis Harder | 2022-07-22 | 1 | -11/+21 |
| | | |||||
| * | Fix external ABC build after commit 0ca0932b5. | Catherine | 2022-07-07 | 2 | -4/+8 |
| | | |||||
| * | Merge pull request #3395 from jix/opt_dff_keepdc_initival | Jannis Harder | 2022-07-01 | 1 | -5/+17 |
| |\ | | | | | opt_dff: With -keepdc, never turn undef init vals into const drivers | ||||
| | * | opt_dff: With -keepdc, never turn undef init vals into const drivers | Jannis Harder | 2022-06-29 | 1 | -5/+17 |
| | | | |||||
| * | | Merge pull request #3396 from jix/async2sync_const_clocks | Jannis Harder | 2022-07-01 | 1 | -0/+3 |
| |\ \ | | | | | | | async2sync: turn FFs with const clks into gclk FFs with feedback | ||||
| | * | | async2sync: turn FFs with const clks into gclk FFs with feedback | Jannis Harder | 2022-06-30 | 1 | -0/+3 |
| | | | | | | | | | | | | | | | | | | | | | | | | | The formal backends do not support multiple clocks. This includes constant clocks. Constant clocks do appear in what isn't a proper multiclock design, for example when mapping not fully initialized ROMs. As converting FFs with constant clocks to FFs using the global is doable even in a single clock flow, make async2sync do this. | ||||
| * | | | Merge pull request #3391 from programmerjake/simcheck-allow-smtlib2-blackboxes | Jannis Harder | 2022-07-01 | 1 | -7/+16 |
| |\ \ \ | |/ / |/| | | add hierarchy -smtcheck | ||||
| | * | | add hierarchy -smtcheck | Jacob Lifshay | 2022-06-22 | 1 | -7/+16 |
| | |/ | | | | | | | like -simcheck, but allow smtlib2_module modules. | ||||
| * | | memory_map: avoid undriven unused FF inputs for -keepdc | Jannis Harder | 2022-06-28 | 1 | -0/+3 |
| | | | |||||
| * | | memory_map: -keepdc option for formal | Jannis Harder | 2022-06-27 | 1 | -3/+14 |
| |/ | | | | Use it when invoking memory_map -rom-only from write_{smt2,btor}. | ||||
| * | memory_map: Add -rom-only option. | Marcelina Kościelnicka | 2022-06-17 | 1 | -4/+18 |
| | | |||||
| * | memory_map: Use const drivers instead of FFs for ROMs. | Marcelina Kościelnicka | 2022-06-17 | 1 | -52/+59 |
| | | |||||
| * | memory_libmap: Fix wrprio handling. | Marcelina Kościelnicka | 2022-06-17 | 1 | -1/+1 |
| | | |||||
| * | memory_libmap: Fix params emitted for unused ports for consistency. | Marcelina Kościelnicka | 2022-06-16 | 1 | -2/+3 |
| | | |||||
| * | Merge pull request #3196 from bfg86/bfg86/rename | N. Engelhardt | 2022-06-13 | 1 | -4/+13 |
| |\ | | | | | Add -suffix option to rename -wire | ||||
| | * | Updating help-text with nakengelhardts suggestion. | bfg86 | 2022-06-13 | 1 | -2/+2 |
| | | | |||||
| | * | Add -suffix option to rename -wire. | bfg86 | 2022-02-11 | 1 | -4/+13 |
| | | | | | | | | | See #3195 | ||||
| * | | opt_ffinv: Fix use after free. | Marcelina Kościelnicka | 2022-06-13 | 1 | -3/+6 |
| | | | |||||
| * | | Merge pull request #3349 from nakengelhardt/select_count_scratchpad | N. Engelhardt | 2022-06-09 | 2 | -0/+12 |
| |\ \ | | | | | | | Make 'stat' and 'select -count' save counts to scratchpad | ||||
| | * | | also make 'stat' save counts to scratchpad | N. Engelhardt | 2022-06-01 | 1 | -0/+9 |
| | | | | |||||
| | * | | have 'select -count' save the count to scratchpad entry 'select.count' | N. Engelhardt | 2022-06-01 | 1 | -0/+3 |
| | | | | |||||
| * | | | Merge pull request #3359 from jix/fmcombine-memid | N. Engelhardt | 2022-06-09 | 1 | -0/+3 |
| |\ \ \ | | | | | | | | | fmcombine: Add _gold/_gate suffix to memids | ||||
| | * | | | fmcombine: Add _gold/_gate suffix to memids | Jannis Harder | 2022-06-03 | 1 | -0/+3 |
| | | | | | |||||
| * | | | | Avoid unnecessary copy of a potential large constant value. | Henner Zeller | 2022-06-09 | 1 | -2/+2 |
| | | | | | | | | | | | | | | | | | | | | | The local variable is used just to iterate through the values, so a const reference is all we need. | ||||
| * | | | | wreduce: Introduce -mux_undef option (aligned with opt_expr). | Marcelina Kościelnicka | 2022-06-08 | 1 | -1/+9 |
| | | | | | |||||
| * | | | | sta: warn on unrecognised cells only once | Lofty | 2022-06-08 | 1 | -1/+4 |
| | | | | | |||||
| * | | | | opt_ffinv: Harden against simple ff/inv loop. | Marcelina Kościelnicka | 2022-06-07 | 1 | -0/+4 |
| | | | | | |||||
| * | | | | iopadmap: Fix z assignment removal. | Marcelina Kościelnicka | 2022-06-07 | 1 | -7/+21 |
| |/ / / | | | | | | | | | | Fixes #3360. | ||||
| * | | | Fix preventing show crashing with newer graphviz | Miodrag Milanovic | 2022-06-03 | 1 | -1/+6 |
| | | | | |||||
| * | | | Add -no-rw-check option to memory_dff + memory + synth_{ice40,ecp5,gowin}. | Marcelina Kościelnicka | 2022-06-02 | 2 | -7/+23 |
| | | | | |||||
| * | | | memory_dff: Add support for no_rw_check attribute. | Marcelina Kościelnicka | 2022-06-02 | 2 | -0/+13 |
| |/ / | |||||
| * | | Observe $TMPDIR variable when creating tmp files | Mohamed A. Bamakhrama | 2022-05-27 | 3 | -3/+3 |
| | | | | | | | | | | | | | | | | | | | 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> | ||||
| * | | abc9_ops: Don't leave unused derived modules lying around | gatecat | 2022-05-23 | 1 | -0/+9 |
| | | | | | | | | | | | | | | | These later become accidentally used for techmap replacements for blackboxes that we don't actually want. Signed-off-by: gatecat <gatecat@ds0.me> | ||||
| * | | select: Fix -assert-none and -assert-any error output and docs | Jannis Harder | 2022-05-19 | 1 | -8/+10 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Both of these options consider a selection containing only empty modules as non-empty. This wasn't mentioned in the documentation nor did the error message when using `select -assert-none` list those empty modules, which produced a very confusing error message complaining about a non-empty selection followed by an empty listing of the selection. This fixes the documentation and changes the `-assert-none` and `-assert-any` assertion error messages to also output fully selected modules (this includes selected empty modules). It doesn't change the messages for `-assert-count` etc. as they don't count modules. | ||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |