Lofty
6694d1c4c5
Merge pull request #4736 from povik/portarcs
...
portarcs: New command to derive propagation arcs
2024-11-13 16:56:16 +00:00
Lofty
4f40187759
dfflibmap: move expression code into libparse
2024-11-13 16:06:57 +00:00
Lofty
08ed2c765e
dfflibmap: enable inference
2024-11-13 15:57:45 +00:00
Martin Povišer
2dba345049
portarcs: New command to derive propagation arcs
2024-11-13 16:20:35 +01:00
Martin Povišer
4ce8c7a0d3
Merge pull request #4709 from YosysHQ/emil/idstring-in-fold
...
functional, glift: use fold overload of IdString::in instead of pool …
2024-11-13 15:17:33 +01:00
Martin Povišer
9da7341003
Merge pull request #4727 from georgerennie/george/bufnorm_constants2
...
bufnorm: preserve constant bits when mapping back to connections
2024-11-13 14:32:15 +01:00
N. Engelhardt
96c526d1ba
Print a note about finding attribute (* top *) in hierarchy
2024-11-13 10:21:44 +01:00
github-actions[bot]
8d0bf3f35e
Bump version
2024-11-13 00:20:36 +00:00
Mike Inouye
06e3ac4415
Fix bug when setting Verific runtime string flags.
...
Signed-off-by: Mike Inouye <mikeinouye@google.com>
2024-11-12 18:46:26 +00:00
Robin Ole Heinemann
6d4f056a35
cxxrtl: use debug attrs of alias not aliasee
2024-11-12 13:07:33 +00:00
Martin Povišer
0d5c412807
read_liberty: s/busses/buses/
2024-11-12 13:33:41 +01:00
Martin Povišer
56a9202a97
Add read_liberty tests of new options
2024-11-12 13:29:16 +01:00
Martin Povišer
5a0cb5d453
Check in filtered samples of IHP's Liberty data for tests
2024-11-12 13:28:15 +01:00
Martin Povišer
28aa7b00ee
read_liberty: Start an -ignore_busses option
2024-11-12 13:26:38 +01:00
Martin Povišer
0e96e477a2
read_liberty: Defer handling of re-definitions
...
Postpone handling re-definitions to after we have established the cell
is not supposed to be ignored on the grounds of one of the user-provided
flags.
2024-11-12 13:26:38 +01:00
Martin Povišer
c7e8d41600
read_liberty: Set area capacitance attributes
2024-11-12 13:26:38 +01:00
Martin Povišer
915df16c84
Merge pull request #4728 from YosysHQ/emil/fix-filterlib-roundtrip
...
filterlib: preserve value quotes
2024-11-12 10:54:35 +01:00
Krystine Sherwin
d0e5677760
Docs: Less exaggeration
2024-11-12 16:33:47 +13:00
Krystine Sherwin
1476eaba00
Docs: Add fallback for missing furo_ys
...
This is mainly intended for (latex)pdf builds which do not use the furo-ys html theme, where the yosys script syntax highlighting can safely fallback to plaintext. This effectively makes `furo-ys` an optional dependency to simplify distro-package maintainability.
See also #4725 .
2024-11-12 16:23:12 +13:00
Emil J. Tywoniak
49e1597ea4
filterlib: preserve value quotes
2024-11-12 01:21:07 +01:00
github-actions[bot]
3afb7725f1
Bump version
2024-11-12 00:20:17 +00:00
George Rennie
ff6c9446c0
bufnorm: preserve constant bits when mapping back to connections
2024-11-12 01:05:15 +01:00
phsauter
625ff7b9cd
abc: always write tmp files to TMPDIR
...
It is still possible to have it in CWD if TMPDIR is set to CWD.
The way it was is not ideal for logging purposes of large projects,
as this can create huge amounts of data best stored on some
scratch disk instead of the main drive.
2024-11-12 00:04:23 +01:00
Philippe Sauter
3f2b391036
Merge branch 'YosysHQ:main' into abc-custom-flow
2024-11-11 23:09:29 +01:00
Robin Ole Heinemann
8bc4bd8a20
cxxrtl, fmt: escape double quotes in c strings
2024-11-11 18:49:05 +00:00
Martin Povišer
7cfc49791f
Merge pull request #4703 from georgerennie/george/pyosys_objrange
...
pyosys: support ObjRange
2024-11-11 17:07:28 +01:00
Jannis Harder
558b2f9ae9
Merge pull request #3953 from georgerennie/bug_3769
...
write_smt2: Check for constant bool after fully resolving signal
2024-11-11 16:23:35 +01:00
Jannis Harder
014cb531aa
Merge pull request #4645 from georgerennie/george/btor_undef_array_init
...
write_btor: only initialize array with const value when it is fully def
2024-11-11 16:18:57 +01:00
Jannis Harder
261b44718d
Merge pull request #4641 from georgerennie/george/btor_undriven_wires
...
write_btor: don't emit undriven bits multiple times
2024-11-11 16:17:25 +01:00
Martin Povišer
1b1a6c4aed
Merge pull request #4525 from georgerennie/peepopt_clock_gate
...
peepopt: Add formal opt to rewrite latches to ffs in clock gates
2024-11-11 14:49:09 +01:00
Larry Doolittle
3ae9ca7c2b
drivertools.h: switch from log_assert(0) to log_abort() for new feature
2024-11-08 10:30:11 -08:00
Emil J
f20f913223
Merge pull request #4679 from YosysHQ/emil/readme-mac-lto
...
readme: tell macOS users to use brew clang with LTO
2024-11-08 19:26:28 +01:00
Emil J
792de6e2eb
Merge pull request #4680 from YosysHQ/emil/fix-mac-lto-plugins
...
Makefile: add -rdynamic on macOS to fix plugins with LTO
2024-11-08 19:24:48 +01:00
Emil J
0aa2f0efdf
Merge pull request #4715 from hzeller/feature-20241106-use-stdlib-for-free
...
Include cstdlib for free()
2024-11-08 19:07:42 +01:00
mszelwiga
8e508f2a2a
Fix setting bits of parameters in setundef pass
...
This commit also adds test that verifies correctness of this change.
2024-11-08 17:03:08 +01:00
Martin Povišer
e82e5f8b13
rtlil: Adjust internal check for $mem_v2 cells
...
There's a mismatch between what `kernel/mem.cc` emits for memories
with no read ports and what the internal RTLIL check expects.
The point of dispute it whether some of the parameters relating to read
ports have a zero-width value in this case. The `mem.cc` code says no,
the internal checker says yes.
Surveying the other `$mem_v2` parameters, and internal cell parameters
in general, I am inclined to side with the `mem.cc` code.
This breaks RTLIL compatibility but for an obscure edge case.
2024-11-08 15:18:43 +01:00
Miodrag Milanovic
df391f5816
verific: fix blackbox regression and add test case
2024-11-08 14:57:04 +01:00
Larry Doolittle
d36a387aca
kernel/drivertools.h: avoid maybe-uninitialized compile warnings
...
Initialize "unsigned int inner" in hash() functions
Includes a log_assert() that might help catch corrupted data structures
or future incomplete modification of DriveType definition
2024-11-07 19:49:25 -08:00
github-actions[bot]
cef87cc179
Bump version
2024-11-08 00:20:23 +00:00
KrystalDelusion
4343c791cb
Merge pull request #4704 from YosysHQ/krys/drop_ilang
...
Remove references to ilang
2024-11-08 11:28:06 +13:00
KrystalDelusion
3c30a9a108
Merge pull request #4543 from YosysHQ/update_fst
...
libs/fst: Update from upstream
2024-11-08 05:36:25 +13:00
Martin Povišer
5c1889634d
Merge pull request #4720 from georgerennie/george/bufnorm_constants
...
bufnorm: preserve constant bits driving wires
2024-11-07 13:56:53 +01:00
George Rennie
a31c968340
tests/bufnorm: add test for bufnorm of constant
2024-11-07 12:55:50 +01:00
George Rennie
8f6058a7d6
bufnorm: preserve constant bits driving wires
2024-11-07 11:48:48 +01:00
AdamLee7
7ed359fa7b
add select option for write_json
2024-11-07 17:48:06 +08:00
Henner Zeller
285fd5b83a
Include cstdlib for free()
2024-11-06 17:35:00 -08:00
George Rennie
c23e64a236
tests/proc: add proc_dff bug 4712 as testcase
2024-11-07 00:10:17 +01:00
George Rennie
626dbbe1e0
proc_dff: fix early return bug
...
* early return caused proc_dff to stop considering rules after seeing
one async rule - this is because continue should have been used to
continue to procecssing the next rule instead of returning from the
function
2024-11-07 00:06:03 +01:00
N. Engelhardt
2de9f00368
Merge pull request #4620 from RCoeurjoly/fix-vcd-parsing-ghdl-var-spacing
2024-11-06 16:29:07 +01:00
N. Engelhardt
9068ec5566
Merge pull request #4627 from RCoeurjoly/roland/assume_x
2024-11-06 16:27:30 +01:00
