93bee0fc3b
ci: more context var use
...
Also reduce `${{}}` expansion in `run` blocks.
2024-05-10 09:38:49 +12:00
1ef21efe3f
ci: working on test setup
2024-05-10 09:38:49 +12:00
2bec6e3e0a
ci: Move iverilog from build to test
2024-05-10 09:38:49 +12:00
8e2dae21ad
ci: Checkout Yosys
2024-05-10 09:35:04 +12:00
7873fe791e
Makefile: ignore missing docs
...
e.g. when calling `make clean` out-of-tree
2024-05-10 09:35:04 +12:00
69eb39582b
ci: Introduce artifacts
...
Separates `test-linux` into `build-linux` and `test-linux`, wherein `build-` builds out of tree, and uploading the build for the `test-` job.
Tar compression is done to retain execution permissions when downloading build artifact.
When calling `make test`, override `TARGETS` and `EXTRA_TARGETS` to prevent rebuild.
2024-05-10 09:33:49 +12:00
fd84a3378e
docs: Document $lut and $sop
2024-05-09 18:31:18 +02:00
1a54e8d47b
Merge pull request #4379 from QuantamHD/fix_verific
...
frontend: Fixes verific import around range order
2024-05-09 11:52:34 +02:00
bdce7fac66
Merge pull request #4386 from YosysHQ/micko/check_abc
...
Modify abc directory content check
2024-05-09 09:44:23 +02:00
93148a87df
Modify abc directory content check
2024-05-09 09:22:48 +02:00
514852ae71
Merge pull request #4364 from YosysHQ/krys/skip-duplicate-actions
...
Reduce action spam when a PR source branch is on YosysHQ/yosys
2024-05-09 08:48:03 +02:00
b9b1da8260
extra-builds.yml: Add skip check to vs-prep
2024-05-09 18:17:04 +12:00
6df1337d71
ci: Update to Node.JS 20
2024-05-09 18:16:05 +12:00
10686cd2df
Bump version
2024-05-09 00:16:31 +00:00
878ac02179
ci: Add skip check to test-verific
2024-05-09 09:39:27 +12:00
a9eca9072e
ci: Drop emcc
2024-05-09 09:26:43 +12:00
cdce505f82
ci: Add skip check to other actions
2024-05-09 09:26:18 +12:00
174c7ebf17
extra-builds.yml: Add concurrent_skipping
2024-05-09 09:26:18 +12:00
7bcef637a4
extra-builds.yml: Fix prereq list
2024-05-09 09:26:17 +12:00
699049b218
ci: Combine extra build flow yml
...
Currently only vs.yml and wasi.yml since emscripten is on the chopping block.
Use fkirc/skip-duplicate-actions to skip duplicate action runs.
2024-05-09 09:26:12 +12:00
82a4a87c97
Fixes error with vector indicies of the form [2:7] [-12:7]
...
Make sure that we correctly adjust the value to align it to a zero
indexed list with lsb = 0
Signed-off-by: Ethan Mahintorabi <ethanmoon@google.com>
2024-05-08 20:29:47 +00:00
b37e8d52ec
Merge pull request #4243 from RCoeurjoly/submodule_abc
...
Add YosysHQ/abc as a submodule located in abc.
2024-05-08 14:56:05 +02:00
77dff5a293
Merge pull request #4382 from YosysHQ/micko/pr_template
...
Add PR template
2024-05-08 13:46:10 +02:00
f806987d58
Add PR template
2024-05-08 12:00:18 +02:00
561618002a
Next dev cycle
2024-05-08 09:02:50 +02:00
c1ad37779e
Release version 0.41
2024-05-08 08:52:10 +02:00
7ab43dc1b7
Update ABC with Windows fixes
2024-05-08 08:30:30 +02:00
1ac00088a6
Merge pull request #4380 from whitequark/cxxrtl-metadata-compression
...
cxxrtl: reduce stack space used by the `debug_info()` function
2024-05-08 05:48:29 +01:00
6e003e1af6
cxxrtl: minimize stack space consumed by `debug_info()`.
...
This commit uses parameter packs to sink `debug_item()` construction
into the `debug_info()`-specific `add()` overload. This makes the stack
space use sub-linear in typical case rather than linear (which is still
the worst case). Oddly, the stack slots that get allocated now are all
for the `0` literal for `lsb_offset`. This could be fixed by allocating
numbers statically but the existing reduction in stack use of ~98% for
a representative example (Minerva SoC) should be enough.
2024-05-08 03:37:14 +00:00
80798daf53
cxxrtl: reduce stack space consumed by `debug_info()` further.
...
Before this commit, this function would create a temporary `std::string`
per debug item (and scope). After this commit, an additional overload is
used to push that down the call stack. This reduces stack usage by
about 50% more on top of the previous commit.
2024-05-08 02:55:17 +00:00
9134cd1928
cxxrtl: reduce stack space consumed by `debug_info()`.
...
Before this commit, the creation of (constant) attribute maps caused
`debug_info()` (which is built with `__attribute__((optnone))`) to
consume large amounts of stack space; up to tens of megabytes. This
caused problems particularly on macOS, where the default stack size
is 512 KiB.
After this commit, `std::map` objects are no longer created inline in
the `debug_info()` function, but are compiled to and then expanded from
a string literal in a subroutine call. This reduces stack space usage
by about 50%.
2024-05-08 02:55:17 +00:00
43ddd89ba5
cxxrtl: fix `escape_c_string` hex literal fiasco.
...
In C and C++, a `\x` escape sequence consumes as many hexadecimal digits
as there are available, so it is not composable with arbitrary alnum
characters afterwards. An octal escape sequence like `\000` always has
fixed width, avoiding an issue where `\x01c` and `\x1c` produce the same
string.
2024-05-08 02:55:17 +00:00
c039da2ec1
renames variables for more code clairty
...
Signed-off-by: Ethan Mahintorabi <ethanmoon@google.com>
2024-05-08 01:09:52 +00:00
a2c1b268d9
frontend: Fixes verific import around range order
...
Test Case
```
module packed_dimensions_range_ordering (
input wire [0:4-1] in,
output wire [4-1:0] out
);
assign out = in;
endmodule : packed_dimensions_range_ordering
module instanciates_packed_dimensions_range_ordering (
input wire [4-1:0] in,
output wire [4-1:0] out
);
packed_dimensions_range_ordering U0 (
.in (in),
.out(out)
);
endmodule : instanciates_packed_dimensions_range_ordering
```
```
// with verific, does not pass formal
module instanciates_packed_dimensions_range_ordering(in, out);
input [3:0] in;
wire [3:0] in;
output [3:0] out;
wire [3:0] out;
assign out = { in[0], in[1], in[2], in[3] };
endmodule
// with surelog, passes formal
module instanciates_packed_dimensions_range_ordering(in, out);
input [3:0] in;
wire [3:0] in;
output [3:0] out;
wire [3:0] out;
assign out = in;
endmodule
```
Signed-off-by: Ethan Mahintorabi <ethanmoon@google.com>
2024-05-08 01:00:06 +00:00
7294d8b5af
cxxrtl: fix close of invalid fd in spool destructor.
2024-05-08 00:46:10 +00:00
ce45011275
Bump version
2024-05-08 00:13:52 +00:00
6d181c29ce
Checking different cases for abc
2024-05-08 00:32:18 +02:00
fdbe8714c9
Check that abc is checkout out as a git repo
2024-05-08 00:32:18 +02:00
67d4c8bba6
Use $< to refer to the first prerequisite listed in the rule
2024-05-08 00:32:18 +02:00
09b9aa83c9
Add YosysHQ/abc as a submodule located in abc
2024-05-08 00:32:18 +02:00
c9d87d5e7b
Merge pull request #4377 from jix/smtbmc-incremental-improvements
...
smtbmc: Improvements for --incremental and .yw fixes
2024-05-07 21:35:10 +02:00
8735107c60
Merge pull request #4321 from YosysHQ/fix_read_verilog_defaults
...
read_verilog: Add missing defaults for flags
2024-05-07 21:11:42 +02:00
df95ea824b
read_verilog: Add missing defaults for flags
...
Fix for YosysHQ/sby#103
2024-05-07 20:25:36 +02:00
a52088b6af
smtbmc: Improvements for --incremental and .yw fixes
...
This extends the experimental incremental JSON API to allow arbitrary
smtlib subexpressions, defining smtlib constants and to allow access of
signals by their .yw path.
It also fixes a bug during .yw writing where values would be re-emitted
in later cycles if they have no newer defined value and a potential
crash when using --track-assumes.
2024-05-07 17:57:37 +02:00
71f2540cd8
docs conf.py change Release -> Version
2024-05-07 15:55:52 +02:00
b4034a881e
Keep docs version in conf.py
2024-05-07 15:35:25 +02:00
90dd508156
Merge pull request #4372 from YosysHQ/krys/docs_version_number
...
Docs: Set release to YOSYS_VER
2024-05-07 09:15:51 +02:00
6eb49ee9e8
Makefile: Export YOSYS_VER only for make docs
2024-05-07 10:23:22 +12:00
68c7fc4c91
Merge pull request #4300 from YosysHQ/cellmatch
...
cellmatch: New pass for picking out standard cells automatically
2024-05-06 15:12:37 +02:00
fe27240b3a
Makefile: Export YOSYS_VER
2024-05-04 16:51:38 +12:00
Krystine Sherwin
Emil J. Tywoniak
Miodrag Milanović
github-actions[bot]
Ethan Mahintorabi
Catherine
Roland Coeurjoly
N. Engelhardt
Jannis Harder
Emil J