Akash Levy
c2d8a4e43f
Merge branch 'YosysHQ:main' into main
2025-12-01 23:54:18 -05:00
Emil J
9871e9b17e
Merge pull request #5496 from YosysHQ/emil/liberty-flop-loops
...
read_liberty: support loopy retention cells
2025-12-01 22:50:20 +01:00
Akash Levy
4a25f63699
Merge from upstream
2025-11-29 11:53:48 -05:00
Akash Levy
71ba176b50
Merge branch 'YosysHQ:main' into main
2025-11-24 14:04:13 -05:00
Krystine Sherwin
a8e8746fc0
tests: Tidy up bug3515
...
Add base case where mapping is possible for sanity checking.
2025-11-25 07:35:19 +13:00
Krystine Sherwin
ba31a02578
tests: Add bug3515
2025-11-25 07:04:34 +13:00
Akash Levy
a705042d2e
Merge branch 'YosysHQ:main' into main
2025-11-20 23:05:40 -05:00
Krystine Sherwin
44ab884b06
bug5495.sh: Skip test if timeout isn't available
2025-11-21 04:03:39 +00:00
Krystine Sherwin
4d1b688717
Tests: Add testcase for problematic ABC DONE check
2025-11-21 14:46:01 +13:00
Emil J. Tywoniak
bfc957ee2d
filterlib, read_liberty: add loopy retention cell formal equivalence test
2025-11-21 00:57:54 +01:00
Emil J. Tywoniak
b3112bf025
filterlib: prefer using precedence over unsynthesizable verilog
2025-11-21 00:43:54 +01:00
Miodrag Milanović
e83d721cb0
Merge pull request #5492 from donn/getitem
...
pyosys: __getitem__ for supported classes
2025-11-19 17:58:01 +01:00
Mohamed Gaber
58e831486d
pyosys: __getitem__ for supported classes
...
- functions that have a const `[]` operator method now support `__getitem__` in Python
- fields of a pointer type now return a `reference_internal` instead of a `copy` because classes referenced to by pointers typically aren't copyable (e.g. RTLIL::Wire, RTLIL::Module, etc)
- removed duplicate of test_script.py
2025-11-19 18:09:41 +02:00
Emil J. Tywoniak
920f4793fb
sdc: error on unknown getters
2025-11-19 15:26:02 +01:00
Emil J. Tywoniak
07de7509bf
sdc: add -keep_hierarchy test
2025-11-19 15:26:02 +01:00
Emil J. Tywoniak
dc48ceadd9
sdc: collect strictly matching objects
2025-11-19 15:25:24 +01:00
Emil J. Tywoniak
c26aa3186d
sdc: collect design objects
2025-11-19 15:25:24 +01:00
Akash Levy
a90a5e10d6
Merge branch 'YosysHQ:main' into main
2025-11-18 11:48:04 -05:00
Miodrag Milanovic
58d4e2c38e
ignore generated file
2025-11-17 13:35:38 +01:00
Robert O'Callahan
b870693393
Fix reset_auto_counter_id to correctly detect _NNN_ patterns
...
This fixes a regression caused by commit c4c389fdd7 .
2025-11-17 09:21:59 +00:00
Akash Levy
1a966c4459
Merge branch 'YosysHQ:main' into main
2025-11-14 17:36:57 -05:00
Miodrag Milanović
4bfdc62f65
Merge pull request #5472 from Anhijkt/arst-fsm-handling
...
fsm_detect: add adff detection
2025-11-14 13:47:08 +01:00
Anhijkt
b08195a9cf
typo
2025-11-14 13:34:58 +02:00
Anhijkt
a75b999f13
fsm_detect: fix test
2025-11-14 13:25:51 +02:00
Akash Levy
71586d39b0
Merge from upstream
2025-11-12 08:14:33 -08:00
Emil J. Tywoniak
ae281720cf
tests: remove unstable FPGA synthesis result checks
2025-11-12 11:52:04 +01:00
Robert O'Callahan
df8444c5e7
Optimize IdString operations to avoid calling c_str()
2025-11-12 11:52:04 +01:00
Robert O'Callahan
e95ed7bbab
Make NEW_ID create IDs whose string allocation is delayed
2025-11-12 11:52:04 +01:00
Robert O'Callahan
54bde15329
Implement IdString garbage collection instead of refcounting.
2025-11-12 11:52:04 +01:00
Akash Levy
e21324d609
Merge from upstream
2025-11-11 22:52:11 -08:00
KrystalDelusion
529886f7fb
Merge pull request #5473 from YosysHQ/krys/unsized_params
...
Handle unsized params
2025-11-12 07:14:44 +13:00
Rahul Bhagwat
224109151d
add specific package imports and tests
2025-11-08 23:05:10 +05:30
Akash Levy
d5049ee8cf
Merge remote-tracking branch 'upstream/main'
2025-11-07 01:42:20 -08:00
Krystine Sherwin
7302bf9a66
Add CONST_FLAG_UNSIZED
...
In order to support unsized constants being used as parameters, the `const` struct needs to know if it is unsized (so that the parameter can be used to set the size).
Add unsized flag to param value serialization and rtlil back-/front-end.
Add cell params to `tests/rtlil/everything.v`.
2025-11-07 17:45:07 +13:00
Krystine Sherwin
e4c5900acd
tests/verilog: Unsized params in cell
...
Non-zero case fails with `read_verilog`, but passes with `verific` and `read_slang`.
2025-11-07 17:13:12 +13:00
Krystine Sherwin
a5cc905184
simplify.cc: Fix unsized const in params
2025-11-07 15:52:24 +13:00
KrystalDelusion
24b69cabaa
Merge pull request #5422 from YosysHQ/krys/SVI_support
...
Catch partial support of SVI
2025-11-07 11:16:07 +13:00
Anhijkt
7d10a72490
fsm_detect: add adff detection
2025-11-06 23:29:47 +02:00
Akash Levy
be421095da
Merge branch 'YosysHQ:main' into main
2025-11-06 13:59:12 -05:00
Emil J
a16fc9b4f3
Merge pull request #5467 from YosysHQ/emil/liberty-unquoted-expressions
...
libparse: support unquoted expressions
2025-11-06 19:45:17 +01:00
Akash Levy
2ebed571b5
Baseline
2025-11-06 06:44:35 -08:00
Emil J. Tywoniak
2bf7aac9d1
Makefile: clean unit test on clean, ensure prepared to fix parallelism
2025-11-06 13:59:14 +01:00
Akash Levy
78b1aed973
abc_state merge
2025-11-06 03:24:59 -08:00
Emil J
a2aeef6c96
Merge pull request #5461 from rocallahan/reset-abc-config
...
Fix regression in configuring ABC techmapping
2025-11-06 11:58:04 +01:00
Akash Levy
ec535c1b48
Merge branch 'YosysHQ:main' into main
2025-11-05 15:40:09 -05:00
Robert O'Callahan
0f770285f3
Move global ABC configuration variables into AbcConfig and initialize them properly
2025-11-05 13:56:04 +00:00
Martin Povišer
45bb5c690d
Merge pull request #5460 from povik/timeest-comb
...
timeest: Add top ports launching/sampling
2025-11-05 14:29:34 +01:00
Emil J. Tywoniak
90553267b0
libparse: fix quoting and negedge in filterlib -verilogsim
2025-11-05 14:13:58 +01:00
Emil J. Tywoniak
b0a3d6a3e7
libparse: fix up tests since liberty expression parsing now normalizes the form of these expressions
2025-11-05 13:06:12 +01:00
Emil J. Tywoniak
4fac7a1b20
libparse: fix space before closing paren in expressions
2025-11-05 13:05:56 +01:00