Emil J. Tywoniak
dda22a35d1
dfflibmap: deduplicate liberty cell search code
2026-07-14 10:44:00 +02:00
Iztok Jeras
94d10012e7
dfflibmap: picking first instead of last cell with smallest area
...
In a standard cell library cells are usually ordered from weakest to strongest.
Sometimes the two weakest cells have the same area.
Previously the stroner (last) of the two was selected,
now the weaker (first is selected).
2026-07-08 17:12:07 +02:00
Iztok Jeras
2d9876ccc4
dfflibmap: collected copies of the same code into a function
2026-07-08 17:12:07 +02:00
Iztok Jeras
2c849e7415
dfflibmap: updated dlatchlibmap tests so they pass
2026-07-08 17:12:07 +02:00
Iztok Jeras
0df2169f81
dlatchlibmap: modified copies of dfflibmap* test files for dlatchlibmap tests
2026-07-08 17:12:07 +02:00
Iztok Jeras
69df81756c
dlatchlibmap: making a copy of test files dfflibmap* to dlatchlibmap*
2026-07-08 17:12:07 +02:00
Iztok Jeras
6b1d5dedbf
dlatchlibmap: fixing failing test 'liberty/dff.lib' by updating the golden log output
2026-07-08 17:12:07 +02:00
Iztok Jeras
4b00ddfd9a
frontends/liberty: support all \$_LATCH* type cells (copy/modify from FF code)
2026-07-08 17:12:07 +02:00
Iztok Jeras
d0365d9e68
dfflibmap: simpler handling of cells with inverted data input polarity
2026-07-08 17:12:07 +02:00
Iztok Jeras
bc133317f1
dfflibmap: recommend running opt_merge pass after dfflibmap
2026-07-08 17:12:07 +02:00
Iztok Jeras
143ffa08a1
dfflibmap: support for mapping latch cells
2026-07-08 17:12:07 +02:00
Iztok Jeras
3fd01fcee9
dfflibmap: fixing apparent typo in testcase
2026-07-08 17:12:07 +02:00
Iztok Jeras
109f442379
dfflegalize: make it explicit in the documentation, that the pass operates on FFs and LATCHes
2026-07-08 17:12:07 +02:00
Iztok Jeras
fdea4e3722
documentation: avoid documentation rendering issue
2026-07-08 17:12:07 +02:00
nella
8dc32cbf4e
Merge pull request #6012 from YosysHQ/nella/fix-opt-reduce
...
`opt_reduce`: restore pmux b-slice == a elim
2026-07-08 13:36:04 +00:00
nella
9fc4cdbc5c
Merge pull request #5963 from YosysHQ/nella/latch-toggle
...
User control over latch inference
2026-07-08 10:24:06 +00:00
nella
388ed215c4
Remove old techmap.
2026-07-08 12:07:58 +02:00
nella
f6d810acf9
Restore pmux elim.
2026-07-08 11:58:30 +02:00
nella
fe1ce9e5c1
Fix merge.
2026-07-08 11:54:55 +02:00
nella
f5809a7c2c
Merge branch 'main' into nella/latch-toggle
2026-07-08 11:41:08 +02:00
Miodrag Milanović
f3fc58db7e
Merge pull request #6010 from YosysHQ/cleanup
...
Cleanup
2026-07-08 06:52:58 +00:00
Miodrag Milanovic
8ad4ffcdd1
Cleanup
2026-07-08 08:34:01 +02:00
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
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
