Emil J. Tywoniak
e6793da9a0
clockgate: refactor
2024-11-18 12:50:25 +01:00
Emil J. Tywoniak
b08441d95c
clockgate: shuffle test liberty to exercise comparison better
2024-11-18 12:48:50 +01:00
Emil J. Tywoniak
1e3f8cc630
clockgate: add test liberty file
2024-11-18 12:45:27 +01:00
Emil J. Tywoniak
c921d85a85
clockgate: fix test comments
2024-11-18 12:33:09 +01:00
Miodrag Milanović
bd40805d54
Merge pull request #4754 from akashlevy/editline-fixes
...
Fix `editline` Makefile
2024-11-18 09:20:45 +01:00
Akash Levy
47a2a09e89
Enforce mutual exclusion on readline/editline
2024-11-17 23:23:37 -08:00
github-actions[bot]
532d5992fd
Bump version
2024-11-18 00:22:55 +00:00
Martin Povišer
020dd0a9e7
Merge pull request #4753 from akashlevy/write_verilog_port_dump_fix
...
`write_verilog`: Fix `O(N^2)` port dumping to `O(N)`
2024-11-17 23:42:23 +01:00
Akash Levy
ace558e90c
Simplify using module->ports, which is apparently sorted
2024-11-17 11:36:30 -08:00
Pepijn de Vos
b8329df1d0
add GW2A and GW5A cells
2024-11-17 20:25:11 +01:00
Akash Levy
56f841d132
Fix editline
2024-11-17 10:44:05 -08:00
Akash Levy
3a32729373
Remove keep_running variable (unused)
2024-11-17 10:40:04 -08:00
Akash Levy
8f9a0b680a
Fix O(N^2) port dump down to O(N)
2024-11-16 22:56:41 -08:00
github-actions[bot]
81011ad926
Bump version
2024-11-16 00:21:32 +00:00
Miodrag Milanović
9fa9a2b57b
Merge pull request #4746 from pu-cc/gatemate-mux-fix
...
synth_gatemate: Ensure proper mapping of multiplexers
2024-11-15 16:30:41 +01:00
George Rennie
583eb1addb
pyosys: dereference cpp objects when constructing a tuple
...
* This fixes a bug where when converting a tuple from python to c++,
get_cpp_obj() was called (returning a pointer) without dereferencing
the pointer to get the underlying object
2024-11-15 15:18:18 +01:00
Patrick Urban
77e1f748a5
gatemate: run simplemap after muxcover to prevent unmapped multiplexers
2024-11-15 09:49:49 +01:00
Emil J. Tywoniak
45880ea7f2
clockgate: add -liberty
2024-11-14 20:37:59 +01:00
Martin Povišer
bbb6bbd12a
Merge pull request #4734 from mikesinouye/verific
...
Fix bug when setting Verific runtime string flags.
2024-11-14 19:39:47 +01:00
github-actions[bot]
a22ff47d62
Bump version
2024-11-14 00:20:42 +00:00
Henner Zeller
a750c94c38
Include stdlib.h for abort()
2024-11-13 13:05:01 -08:00
Lofty
d9ef388fcc
Merge pull request #4698 from YosysHQ/lofty/dfflibmap-enable
...
dfflibmap: enable inference
2024-11-13 17:50:17 +00:00
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
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
