Miodrag Milanovic
|
912b38eedb
|
verific: Handle crash when using empty box option
|
2024-12-02 15:45:12 +01:00 |
Martin Povišer
|
3bab837bc9
|
Merge pull request #4765 from georgerennie/george/rtlil_case_rule
read_rtlil: Warn on assigns after switches in case rules
|
2024-11-28 00:01:21 +01:00 |
Miodrag Milanović
|
29e8812bab
|
Merge pull request #4724 from YosysHQ/micko/blackbox_verific
verific: fix blackbox regression and add test case
|
2024-11-25 15:06:54 +01:00 |
George Rennie
|
4a057b3c44
|
read_rtlil: warn on assigns after switches in case rules
|
2024-11-21 22:41:13 +01:00 |
Miodrag Milanovic
|
d6bd521487
|
verific : VHDL assert DFF initial value set on Verific library patch side
|
2024-11-21 13:43:26 +01:00 |
Martin Povišer
|
1cb5fd08b7
|
Merge pull request #4682 from povik/read_liberty-extensions
read_liberty extensions
|
2024-11-18 14:42:18 +01: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 |
Martin Povišer
|
0d5c412807
|
read_liberty: s/busses/buses/
|
2024-11-12 13:33:41 +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 |
Miodrag Milanovic
|
df391f5816
|
verific: fix blackbox regression and add test case
|
2024-11-08 14:57:04 +01:00 |
Krystine Sherwin
|
ee73a91f44
|
Remove references to ilang
|
2024-11-05 12:36:31 +13:00 |
George Rennie
|
dbfca1bdff
|
frontends/ast.cc: special-case zero width strings as "\0"
* Fixes #4696
|
2024-11-01 17:19:28 +01:00 |
Emil J. Tywoniak
|
81bbde62ca
|
verilog_parser: silence yynerrs warning
|
2024-10-15 08:32:55 -04:00 |
Emil J
|
caf56ca3e8
|
Merge pull request #4516 from YosysHQ/emil/src-attribute-std-string-wip
Represent string constants as strings
|
2024-10-14 06:42:54 -07:00 |
Emil J. Tywoniak
|
785bd44da7
|
rtlil: represent Const strings as std::string
|
2024-10-14 06:28:12 +02:00 |
Miodrag Milanovic
|
8d2b63bb8a
|
Set VHDL assert condition initial state if fed by FF
|
2024-10-11 16:32:21 +02:00 |
Martin Povišer
|
0aab8b4158
|
Merge pull request #4605 from povik/liberty-unit-delay
read_liberty: Optionally import unit delay arcs
|
2024-10-07 16:11:51 +02:00 |
Martin Povišer
|
74e92d10e8
|
Merge pull request #4593 from povik/aiger2
New aiger backend
|
2024-10-07 16:11:25 +02:00 |
Martin Povišer
|
7989d53c58
|
read_xaiger2: Add help
|
2024-10-07 14:19:49 +02:00 |
Martin Povišer
|
f44a418212
|
read_xaiger2: Add casts to silence warnings
|
2024-10-07 12:27:54 +02:00 |
Martin Povišer
|
8d12492610
|
read_xaiger2: Fix detecting the end of extensions
|
2024-10-07 12:03:48 +02:00 |
Martin Povišer
|
2b1b5652f1
|
Adjust `read_xaiger2` prints
|
2024-10-07 12:03:48 +02:00 |
rherveille
|
ce7db661a8
|
Added cast to type support (#4284)
|
2024-09-29 17:03:01 -04:00 |
Martin Povišer
|
f168b2f4b1
|
read_xaiger2: Update box handling
|
2024-09-18 16:55:02 +02:00 |
Martin Povišer
|
1ab7f29933
|
Start read_xaiger2 -sc_mapping
|
2024-09-18 16:42:56 +02:00 |
Martin Povišer
|
4976abb867
|
read_liberty: Optionally import unit delay arcs
|
2024-09-18 16:17:03 +02:00 |
N. Engelhardt
|
c8b42b7d48
|
Merge pull request #4538 from RCoeurjoly/verific_bounds
|
2024-09-12 13:04:04 +02:00 |
Emil J. Tywoniak
|
1372c47036
|
internal_stats: astnode (sizeof)
|
2024-09-11 11:34:20 +02:00 |
Roland Coeurjoly
|
bdc43c6592
|
Add left and right bound properties to wire. Add test. Fix printing
for signed attributes
Co-authored-by: N. Engelhardt <nak@yosyshq.com>
Co-authored-by: Roland Coeurjoly <rolandcoeurjoly@gmail.com>
|
2024-09-10 12:52:42 +02:00 |
Roland Coeurjoly
|
27c1432253
|
Remove log
|
2024-08-21 14:28:42 +01:00 |
Roland Coeurjoly
|
91e3773b51
|
Ensure signed constants are correctly parsed, represented, and exported in RTLIL. Add a test to check parsing and exporting
|
2024-08-21 14:28:42 +01:00 |
Martin Povišer
|
ab5d6b06b4
|
read_liberty: Fix omitted helper change
|
2024-08-13 20:12:38 +02:00 |
Martin Povišer
|
309d80885b
|
read_liberty: Use available gate creation helpers
|
2024-08-13 18:47:36 +02:00 |
Martin Povišer
|
3057c13a66
|
Improve libparse encapsulation
|
2024-08-13 18:47:36 +02:00 |
Miodrag Milanović
|
3e14e67374
|
Merge pull request #4500 from YosysHQ/micko/vhdl_mixcase
VHDL is case insensitive, make sure netlist name is proper
|
2024-07-29 16:44:13 +02:00 |
Miodrag Milanovic
|
405897a971
|
Update top value that is returned back to hierarchy pass
|
2024-07-29 15:50:38 +02:00 |
Miodrag Milanovic
|
9566709426
|
Initialize extensions when verific pass is registered
|
2024-07-25 11:25:17 +02:00 |
Miodrag Milanovic
|
c94aa719d9
|
VHDL is case insensitive, make sure netlist name is proper
|
2024-07-18 16:56:52 +02:00 |
Emil J. Tywoniak
|
72a0380da8
|
ast: don't suggest use in external projects
|
2024-07-18 16:37:14 +02:00 |
gatecat
|
22d8df1e7e
|
liberty: Support for IO liberty files for verification
Signed-off-by: gatecat <gatecat@ds0.me>
|
2024-06-19 21:12:42 +02:00 |
Miodrag Milanovic
|
dfde792288
|
Refactored import code
|
2024-06-17 14:49:58 +02:00 |
Miodrag Milanovic
|
19da7f7d59
|
Update makefile to make options uniform
|
2024-06-17 13:29:11 +02:00 |
Miodrag Milanovic
|
0f3f731254
|
Handle -work for vhdl, and clean messages
|
2024-06-17 13:29:11 +02:00 |
Miodrag Milanovic
|
0a81c8e161
|
Import all modules from all libraries when when needed
|
2024-06-17 13:29:11 +02:00 |
Miodrag Milanovic
|
7c3094633d
|
Compile with hier_tree separate SV and VHDL as well
|
2024-06-17 13:29:11 +02:00 |
Miodrag Milanovic
|
e2e189647f
|
Cleanup
|
2024-06-17 13:29:11 +02:00 |
Miodrag Milanovic
|
7bec332b68
|
SV + VHDL with RTL support
|
2024-06-17 13:29:11 +02:00 |
Miodrag Milanovic
|
25d50bb2af
|
VHDL only build support
|
2024-06-17 13:29:11 +02:00 |