Miodrag Milanović
95b5e43605
Merge pull request #6008 from povik/sv-elab-bump
...
Bump sv-elab to 2026-07-07
2026-07-07 14:21:48 +00:00
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
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
