Commit Graph

17493 Commits

Author SHA1 Message Date
Miodrag Milanović e777892006
Merge pull request #6006 from YosysHQ/slang-promote
Add slang information in README
2026-07-07 13:39:48 +00:00
Miodrag Milanović af815f99fb
Merge pull request #6005 from YosysHQ/witness
yosys-witness: give error on justice property, support only 'b'
2026-07-07 13:39:40 +00:00
Martin Povišer ff8a867764 Bump sv-elab to 2026-07-07 2026-07-07 15:20:19 +02:00
Miodrag Milanovic 61bc3bd287 Add option to build/install slang tools 2026-07-07 14:51:44 +02:00
Miodrag Milanovic 2d9fdf859c Add slang information in README 2026-07-07 14:49:40 +02:00
Miodrag Milanovic 2cb3d671d6 yosys-witness: give error on justice property, support only 'b' 2026-07-07 12:19:38 +02:00
nella 362e828dc2 Simplify check -latchonly calls in synth. 2026-07-07 10:10:00 +02:00
nella 8a2499b544
Merge pull request #5986 from YosysHQ/nella/x-wildcard
fix case item containing x/z treated as wildcard in proc_rmdead
2026-07-07 08:00:02 +00:00
Lofty 4e30b5c47b
Merge pull request #5997 from mole99/leo/fabulous-updates
FABulous Updates
2026-07-07 06:35:32 +00:00
Leo Moser cd8a613460
fabulous: add to CODEOWNERS
Signed-off-by: Leo Moser <leomoser99@gmail.com>
2026-07-07 08:19:11 +02:00
nella 310016a812 Rm. 2026-07-07 04:03:17 +02:00
Miodrag Milanović aa18c921a7
Merge pull request #5967 from YosysHQ/yosys-slang
Slang frontend integration
2026-07-06 15:18:02 +00:00
Miodrag Milanovic 05c0adae77 Slang frontend integration 2026-07-06 15:49:56 +02:00
nella 006cbc8f72
Merge pull request #5842 from YosysHQ/nella/opt_dff_elim_improvements
opt_dff: Eliminate equivalent bits
2026-07-06 12:02:50 +00:00
nella 0e56ca02ed Make opt_dff -sat conflict with -keepdc. 2026-07-06 13:47:10 +02:00
nella 2b4ec9d57a Fix covers_nothing. 2026-07-06 13:26:00 +02:00
Miodrag Milanović b285b72e36
Merge pull request #5999 from YosysHQ/update_abc
Update ABC as per 2026-07-02
2026-07-02 10:00:45 +00:00
Miodrag Milanovic 30a813b090 Update ABC as per 2026-07-02 2026-07-02 11:34:22 +02:00
Leo Moser b06c57b2bf fabulous: remove unused `-blif` option
Signed-off-by: Leo Moser <leomoser99@gmail.com>
2026-07-01 13:38:45 +02:00
Leo Moser e87d8e162e fabulous: update tests for new options
Signed-off-by: Leo Moser <leomoser99@gmail.com>
2026-07-01 13:38:44 +02:00
Leo Moser 655cb40d0f fabulous: add `--cells-map` option
Signed-off-by: Leo Moser <leomoser99@gmail.com>
2026-06-30 16:09:51 +02:00
Leo Moser 4fac567673 fabulous: add `-arith-map` option
Signed-off-by: Leo Moser <leomoser99@gmail.com>
2026-06-30 16:09:51 +02:00
Leo Moser d50999ea45 fabulous: format using clang
Signed-off-by: Leo Moser <leomoser99@gmail.com>
2026-06-30 16:09:51 +02:00
Leo Moser 2535504217 fabulous: update CMakeLists.txt
Signed-off-by: Leo Moser <leomoser99@gmail.com>
2026-06-30 16:09:51 +02:00
Leo Moser aa84f4a13b fabulous: remove legacy `arith_map.v` mapping
Signed-off-by: Leo Moser <leomoser99@gmail.com>
2026-06-30 16:09:51 +02:00
Leo Moser f79c0ad214 fabulous: add `-multiplier-map` option, map to `$__FABULOUS_MUL`
- an example: `-multiplier-map multiplier_map.v 8:8:2:2:10`

Signed-off-by: Leo Moser <leomoser99@gmail.com>
2026-06-30 16:09:44 +02:00
Leo Moser d72cca2945 fabulous: add `-clkbuf-map` option, map to `$__FABULOUS_GBUF`
Signed-off-by: Leo Moser <leomoser99@gmail.com>
2026-06-30 16:09:33 +02:00
Leo Moser ec8155e040 fabulous: convert `-iopad` to `-noiopad`, map to `$__FABULOUS_[I|O|T|IO]BUF`
- with PCF support in nextpnr fabulous, `-iopad` is now the default
- supply further mapping using `-extra-plib`

Signed-off-by: Leo Moser <leomoser99@gmail.com>
2026-06-30 16:09:19 +02:00
Leo Moser c73fd4f70b fabulous: add `-extra-mlibmap` option, remove legacy `-noregfile` option
- this allows to map to any memories
- to map legacy register files, use: `-extra-plib regfile.v -extra-mlibmap ram_regfile.txt -extra-map regfile_map.v`

Signed-off-by: Leo Moser <leomoser99@gmail.com>
2026-06-30 16:08:54 +02:00
Leo Moser 6c82468031 fabulous: add `-ff` option, remove legacy `-plib`/`-complex-dff` option
The concept of 'COMPLEX_DFF' is deprecated. Instead, simply specify the supported flip-flops using `-ff <cell_type_pattern> <init_values>` and supply the mapping file.

Signed-off-by: Leo Moser <leomoser99@gmail.com>
2026-06-30 16:06:38 +02:00
Leo Moser 30640c71e2 fabulous: fix argument check in `-carry` option
Signed-off-by: Leo Moser <leomoser99@gmail.com>
2026-06-30 16:02:41 +02:00
Leo Moser 54c37b395b fabulous: fix argument check in `-lut` option
Signed-off-by: Leo Moser <leomoser99@gmail.com>
2026-06-30 16:02:41 +02:00
Leo Moser d671de97e9 fabulous: remove legacy `-vpr` option
Signed-off-by: Leo Moser <leomoser99@gmail.com>
2026-06-30 16:02:41 +02:00
Leo Moser 32bd3e5418 fabulous: remove unused `-encfile` option
Signed-off-by: Leo Moser <leomoser99@gmail.com>
2026-06-30 16:02:41 +02:00
Leo Moser a1759e7ae7 fabulous: remove unused `-edif` option
Signed-off-by: Leo Moser <leomoser99@gmail.com>
2026-06-30 16:02:41 +02:00
Miodrag Milanović afe6b18f28
Merge pull request #5995 from YosysHQ/log_cleanup
Removed rewrite leftovers from log
2026-06-29 07:44:40 +00:00
Miodrag Milanovic 97e2600e5c Removed rewrite leftovers from log 2026-06-29 08:32:44 +02:00
Miodrag Milanović e74db6deac
Merge pull request #5994 from YosysHQ/manual_brew
Install just some brew packages
2026-06-26 19:14:38 +00:00
Miodrag Milanovic 0c0d3f717c Install just some brew packages 2026-06-26 20:57:24 +02:00
Miodrag Milanović 7c5d9a37bf
Merge pull request #5993 from YosysHQ/nix
Moving nix to weekly as non-critical
2026-06-26 17:52:56 +00:00
Miodrag Milanovic 9144d2bd2f Moving nix to weekly as non-critical 2026-06-26 19:35:44 +02:00
Miodrag Milanović 195593f2b0
Merge pull request #5991 from YosysHQ/test_build
Fix skipping test-build on merge
2026-06-26 16:26:22 +00:00
Miodrag Milanovic 049dca7ded Fix skipping test-build on merge 2026-06-26 18:02:37 +02:00
Miodrag Milanović f624bcf2db
Merge pull request #5990 from YosysHQ/self_sanitizer
Self hosted sanitizer
2026-06-26 15:39:54 +00:00
Miodrag Milanovic cd4198e024 Skip this step during merge queue since we have already run those 2026-06-26 17:17:35 +02:00
Miodrag Milanovic 0c13257915 Sanitizer self hosted 2026-06-26 17:10:44 +02:00
Miodrag Milanović 6cee0af8ad
Merge pull request #5989 from YosysHQ/ccache2
Store caches on main
2026-06-26 13:15:55 +00:00
Miodrag Milanovic 8ad1b7f2b2 Remove nix parameter 2026-06-26 14:35:54 +02:00
Miodrag Milanovic 84248a008b Bump minimal clang to 16 2026-06-26 14:35:44 +02:00
Miodrag Milanovic 459a933005 Store caches on main 2026-06-26 14:33:12 +02:00