Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add propagated clock signals into btor info file | Claire Xenia Wolf | 2022-05-04 | 1 | -0/+2 |
| | |||||
* | smt2: Make write port array stores conditional on nonzero write mask | Jannis Harder | 2022-04-20 | 1 | -2/+4 |
| | |||||
* | pass jny: flipped the defaults for the inclusion of various bits of metadata | Aki Van Ness | 2022-04-08 | 1 | -30/+30 |
| | |||||
* | pass jny: ensured the cell collection is cleared between modules | Aki Van Ness | 2022-04-08 | 1 | -0/+1 |
| | |||||
* | pass jny: fixed missing quotes around the type value for the cell sort | Aki Van Ness | 2022-04-08 | 1 | -1/+1 |
| | |||||
* | pass jny: fixed the backslash escape for strings | Aki Van Ness | 2022-04-08 | 1 | -2/+1 |
| | |||||
* | pass jny: removed the invalid json escapes | Aki Van Ness | 2022-04-08 | 1 | -12/+0 |
| | |||||
* | pass jny: added some todo comments about things that need to be done before ↵ | Aki Van Ness | 2022-04-08 | 1 | -0/+5 |
| | | | | a proper merge, but it should be enough for the PoC at the moment | ||||
* | pass jny: changed the constructor initializers to use parens rather than ↵ | Aki Van Ness | 2022-04-08 | 1 | -2/+2 |
| | | | | curly-braces to hopefully make GCC 4.8 happy | ||||
* | pass jny: fixed the string escape method to be less jank and more proper | Aki Van Ness | 2022-04-08 | 1 | -21/+58 |
| | |||||
* | pass jny: fixed the signed output for param value output | Aki Van Ness | 2022-04-08 | 1 | -1/+1 |
| | |||||
* | pass jny: added connection output | Aki Van Ness | 2022-04-08 | 1 | -4/+88 |
| | |||||
* | pass jny: added filter options for including connections, attributes, and ↵ | Aki Van Ness | 2022-04-08 | 1 | -25/+125 |
| | | | | properties | ||||
* | pass jny: large chunk of refactoring to make the JSON output more pretty and ↵ | Aki Van Ness | 2022-04-08 | 1 | -75/+89 |
| | | | | the internals less of a spaghetti nightmare | ||||
* | metadata -> jny: migrated to the proper name for the pass | Aki Van Ness | 2022-04-08 | 3 | -21/+19 |
| | |||||
* | pass metadata: added the machinery to write param and attributes | Aki Van Ness | 2022-04-08 | 1 | -8/+27 |
| | |||||
* | pass metadata: removed superfluous `stringf` calls | Aki Van Ness | 2022-04-08 | 1 | -37/+40 |
| | |||||
* | pass metadata: some more rough work on dumping the parameters and attributes | Aki Van Ness | 2022-04-08 | 1 | -6/+6 |
| | |||||
* | pass metadata: fixed the MetadataWriter object initializer so GCC 4.8 is happy | Aki Van Ness | 2022-04-08 | 1 | -1/+1 |
| | |||||
* | pass metadata: added the output of parameters, | Aki Van Ness | 2022-04-08 | 1 | -7/+35 |
| | | | | it's kinda dumb at the moment and needs parsing based on type but it's a start | ||||
* | pass metadata: fixed some of the output formatting | Aki Van Ness | 2022-04-08 | 1 | -0/+3 |
| | |||||
* | pass metadata: initial commit of the metadata pass for exporting design ↵ | Aki Van Ness | 2022-04-08 | 2 | -0/+277 |
| | | | | metadata for yosys assisted tooling | ||||
* | smtbmc: fix bmc with no assertions | Jannis Harder | 2022-03-29 | 1 | -0/+2 |
| | | | | this was broken by the `--keep-going` changes | ||||
* | Merge pull request #3253 from jix/smtbmc-nodeepcopy | Jannis Harder | 2022-03-28 | 1 | -6/+6 |
|\ | | | | | smtbmc: Avoid unnecessary deep copies during unrolling | ||||
| * | smtbmc: Avoid unnecessary deep copies during unrolling | Jannis Harder | 2022-03-28 | 1 | -6/+6 |
| | | |||||
* | | Merge pull request #3247 from jix/smtbmc-keepgoing | Jannis Harder | 2022-03-28 | 1 | -50/+143 |
|\ \ | |/ |/| | smtbmc `--keep-going` | ||||
| * | yosys-smtbmc: Option to keep going after failed assertions in BMC mode | Jannis Harder | 2022-03-24 | 1 | -48/+141 |
| | | |||||
| * | yosys-smtbmc: Fix typo in help text, remove trailing whitespace | Jannis Harder | 2022-03-24 | 1 | -2/+2 |
| | | |||||
* | | Add -no-startoffset option to write_aiger | Miodrag Milanovic | 2022-03-25 | 1 | -8/+17 |
| | | |||||
* | | ignore # comment lines | N. Engelhardt | 2022-03-24 | 1 | -1/+1 |
|/ | |||||
* | Merge pull request #3226 from YosysHQ/micko/btor2witness | Miodrag Milanović | 2022-03-11 | 1 | -2/+2 |
|\ | | | | | Sim support for btor2 witness files | ||||
| * | Fix handling of some formal cells in btor back-end | Claire Xenia Wolf | 2022-03-11 | 1 | -6/+2 |
| | | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net> | ||||
| * | handle state names of $anyconst and $anyseq | Miodrag Milanovic | 2022-03-11 | 1 | -1/+5 |
| | | |||||
* | | Merge pull request #3210 from rqou/json-signed | Miodrag Milanović | 2022-03-07 | 1 | -0/+2 |
|\ \ | |/ |/| | json: Add help message for `signed` field | ||||
| * | json: Add help message for `signed` field | R | 2022-02-21 | 1 | -0/+2 |
| | | |||||
* | | Merge pull request #3186 from nakengelhardt/smtbmc_sby_print_id | Miodrag Milanović | 2022-03-04 | 2 | -4/+12 |
|\ \ | | | | | | | add argument for printing cell names in yosys-smtbmc | ||||
| * | | print cell name for properties in yosys-smtbmc | N. Engelhardt | 2022-02-22 | 2 | -4/+12 |
| |/ | |||||
* | | Merge pull request #3207 from nakengelhardt/json_escape_quotes | Miodrag Milanović | 2022-03-04 | 1 | -1/+16 |
|\ \ | | | | | | | fix handling of escaped chars in json backend and frontend (mostly) | ||||
| * | | fix handling of escaped chars in json backend and frontend | N. Engelhardt | 2022-02-18 | 1 | -1/+16 |
| |/ | |||||
* / | Add a bit of flexibilty re trace length when processing aiger witnesses in ↵ | Claire Xenia Wolf | 2022-02-11 | 1 | -1/+4 |
|/ | | | | | | smtbmc.py Signed-off-by: Claire Xenia Wolf <claire@clairexen.net> | ||||
* | verilog backend: Emit a `wire` for ports as well. | Marcelina Kościelnicka | 2022-01-31 | 1 | -1/+1 |
| | | | | Fixes #3177. | ||||
* | Add $bmux and $demux cells. | Marcelina Kościelnicka | 2022-01-28 | 7 | -2/+77 |
| | |||||
* | cxxrtl: don't reset elided wires with \init attribute. | Catherine | 2021-12-25 | 1 | -0/+2 |
| | |||||
* | cxxrtl: demote wires not inlinable only in debug_eval to locals. | Catherine | 2021-12-15 | 1 | -3/+4 |
| | | | | | | Fixes #3112. Co-authored-by: Irides <irides@irides.network> | ||||
* | Add clean_zerowidth pass, use it for Verilog output. | Marcelina Kościelnicka | 2021-12-12 | 1 | -0/+2 |
| | | | | | | | This should remove instances of zero-width sigspecs in the netlist, avoiding problems in the Verilog backend with emitting them. See #3103. | ||||
* | Merge pull request #3105 from whitequark/cxxrtl-reset-memories-2 | Catherine | 2021-12-12 | 2 | -108/+80 |
|\ | | | | | cxxrtl: preserve interior memory pointers across reset | ||||
| * | cxxrtl: preserve interior memory pointers across reset. | Catherine | 2021-12-11 | 2 | -95/+67 |
| | | | | | | | | | | | | | | | | Before this commit, values, wires, and memories with an initializer were value-initialized in emitted C++ code. After this commit, all values, wires, and memories are default-initialized, and the default constructor of generated modules calls the reset() method, which assigns the members that have an initializer. | ||||
| * | cxxrtl: use unique_ptr<value<>[]> to store memory contents. | whitequark | 2021-12-11 | 1 | -16/+16 |
| | | | | | | | | This makes the depth properly immutable. | ||||
* | | rtlil: Dump empty connections when whole module is selected. | Marcelina Kościelnicka | 2021-12-12 | 1 | -2/+2 |
| | | | | | | | | | | Without this, empty connections will be always skipped by `dump`, since they contain no selected wires. This makes debugging rather confusing. | ||||
* | | write_verilog: dump zero width sigspecs correctly. | whitequark | 2021-12-11 | 1 | -1/+2 |
|/ | | | | | | | | | | | | | Before this commit, zero width sigspecs were dumped as "" (empty string). Unfortunately, 1364-2005 5.2.3.3 indicates that an empty string is equivalent to "\0", and is 8 bits wide, so that's wrong. After this commit, a replication operation with a count of zero is used instead, which is explicitly permitted per 1364-2005 5.1.14, and is defined to have size zero. (Its operand has to have a non-zero size for it to be legal, though.) PR #1203 has addressed this issue before, but in an incomplete way. |