Commit Graph

17464 Commits

Author SHA1 Message Date
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
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