]>
Nick Gasson's Git Repositories - nvc.git/log
Nick Gasson [Sun, 17 Nov 2024 10:54:22 +0000 (10:54 +0000)]
FST dumping for nested arrays. Fixes #1071
Nick Gasson [Wed, 23 Oct 2024 15:15:41 +0000 (15:15 +0000)]
Add a minimal VPI implementation for system tasks
Nick Gasson [Sat, 16 Nov 2024 20:50:38 +0000 (20:50 +0000)]
Fix uninitialised variable warning in lower_port_map
Ondrej Ille [Sun, 17 Nov 2024 11:03:43 +0000 (12:03 +0100)]
Add PSL non-consecutive and goto repetition support. (#1077)
Ondrej Ille [Sun, 17 Nov 2024 11:01:35 +0000 (12:01 +0100)]
Add SERE fusion support. (#1078)
Nick Gasson [Fri, 15 Nov 2024 21:40:14 +0000 (21:40 +0000)]
Handle partial association of interface views. Issue #1074
Nick Gasson [Fri, 15 Nov 2024 22:12:59 +0000 (22:12 +0000)]
Dumping for view declarations
Nick Gasson [Thu, 14 Nov 2024 21:06:39 +0000 (21:06 +0000)]
Check alias of external name does not have subtype indication
Fixes #1073
Ondrej Ille [Thu, 14 Nov 2024 20:28:35 +0000 (21:28 +0100)]
PSL SERE repetition (#1053)
Nick Gasson [Wed, 13 Nov 2024 21:48:35 +0000 (21:48 +0000)]
Allow multiple taken edges from PSL state
Based on code from @Blebowski in #1053
Nick Gasson [Wed, 13 Nov 2024 21:13:34 +0000 (21:13 +0000)]
Get architecture type from preprocessor defines. Issue #1069
$target_cpu from config.guess seems unreliable on macOS.
Nick Gasson [Tue, 12 Nov 2024 21:09:01 +0000 (21:09 +0000)]
Improve checking of 'RANGE attribute. Fixes #1067
Nick Gasson [Tue, 12 Nov 2024 20:35:13 +0000 (20:35 +0000)]
Move code coverage database out of library directory
The library directory contents was always supposed to be a private
implementation detail.
Nick Gasson [Sun, 10 Nov 2024 21:13:01 +0000 (21:13 +0000)]
Add --no-save analysis option and deprecated --syntax
Nick Gasson [Sun, 10 Nov 2024 17:45:23 +0000 (17:45 +0000)]
Make VHPI memory stats less verbose
Nick Gasson [Sun, 10 Nov 2024 17:12:56 +0000 (17:12 +0000)]
Implement vhpiType relationship for selected names
Discussion #1059
Nick Gasson [Sun, 10 Nov 2024 16:39:22 +0000 (16:39 +0000)]
Bump version to 1.15-devel
Nick Gasson [Sun, 10 Nov 2024 16:33:53 +0000 (16:33 +0000)]
Build VHPI record elements lazily
Nick Gasson [Sun, 10 Nov 2024 16:26:58 +0000 (16:26 +0000)]
Build VHPI enumeration literals lazily
Nick Gasson [Sun, 16 Jun 2024 16:01:43 +0000 (17:01 +0100)]
Use an arena to allocate VHPI objects
Nick Gasson [Sun, 10 Nov 2024 12:16:08 +0000 (12:16 +0000)]
Remove vhpi_is_repetitive
Nick Gasson [Sat, 9 Nov 2024 20:42:37 +0000 (20:42 +0000)]
Refactor building of VHPI types
Nick Gasson [Sat, 9 Nov 2024 10:03:38 +0000 (10:03 +0000)]
Create type bounds variable for records
Nick Gasson [Sat, 9 Nov 2024 16:49:28 +0000 (16:49 +0000)]
Wrong bounds for nested array of records in FST dump
Nick Gasson [Sat, 9 Nov 2024 16:48:10 +0000 (16:48 +0000)]
Add debug environment variable for layouts
Nick Gasson [Sat, 9 Nov 2024 15:49:38 +0000 (15:49 +0000)]
Separate runtime scope types for arrays and records
NikLeberg [Sat, 9 Nov 2024 17:01:47 +0000 (01:01 +0800)]
Fix parser hang for integers in scientific notation (#1065)
Nick Gasson [Fri, 8 Nov 2024 20:13:09 +0000 (20:13 +0000)]
Types and subtypes are valid named entities. Fixes #1064
Nick Gasson [Fri, 8 Nov 2024 20:09:34 +0000 (20:09 +0000)]
Fix crash with external name in sensitivity list. Fixes #1062
Nick Gasson [Fri, 8 Nov 2024 18:46:16 +0000 (18:46 +0000)]
Use vhpiLazyListT for VHPI selected and indexed names
Nick Gasson [Fri, 8 Nov 2024 18:27:01 +0000 (18:27 +0000)]
Expand VHPI root instance lazily
Nick Gasson [Fri, 8 Nov 2024 18:20:07 +0000 (18:20 +0000)]
Abstract some of the VHPI lazy expansion logic
Nick Gasson [Fri, 8 Nov 2024 18:20:07 +0000 (18:20 +0000)]
Adjust handling of implicit component block in VHPI
Nick Gasson [Fri, 8 Nov 2024 18:20:07 +0000 (18:20 +0000)]
Get rid of VHPI InternalRegions list
NikLeberg [Fri, 8 Nov 2024 10:57:17 +0000 (18:57 +0800)]
Fix crash on long source lines. (#1061)
Issue #1038
Ondrej Ille [Thu, 7 Nov 2024 09:32:11 +0000 (10:32 +0100)]
Optimize toggle coverage performance (#1041)
NikLeberg [Thu, 7 Nov 2024 09:04:23 +0000 (17:04 +0800)]
Handle invalid use of attribute as range (#1058)
Issue #1038
NikLeberg [Thu, 7 Nov 2024 09:03:46 +0000 (17:03 +0800)]
Fix crash on unexpected psl builtin function in primary (#1051)
Issue #1038
Nick Gasson [Wed, 6 Nov 2024 22:12:33 +0000 (22:12 +0000)]
Handle OPEN index constraint in VHPI. Fixes #1057
Nick Gasson [Wed, 6 Nov 2024 22:12:33 +0000 (22:12 +0000)]
Missing check for reconstraining constrained array. Issue #1057
Nick Gasson [Wed, 6 Nov 2024 21:04:57 +0000 (21:04 +0000)]
Fix typo in cgen_pointer_mask
Nick Gasson [Mon, 4 Nov 2024 22:25:57 +0000 (22:25 +0000)]
Fix leak of VHPI c_tool instance
Nick Gasson [Mon, 4 Nov 2024 19:52:27 +0000 (19:52 +0000)]
Fix parsing of selected name in resolution indication. Fixes #1055
Nick Gasson [Sun, 3 Nov 2024 21:53:32 +0000 (21:53 +0000)]
Split split_nexus into fast/slow paths
Nick Gasson [Sun, 3 Nov 2024 21:23:19 +0000 (21:23 +0000)]
Improve test selection in run_regr
Nick Gasson [Sun, 3 Nov 2024 18:17:48 +0000 (18:17 +0000)]
Keep track of all watched signals in rt_watch_t
Nick Gasson [Mon, 4 Nov 2024 19:36:22 +0000 (19:36 +0000)]
MacOS LLVM only requires -L for libzstd (#1056)
Issue #1043
Co-authored-by: Jonathan Eisch <jeisch@users.noreply.github.com>
Nick Gasson [Mon, 4 Nov 2024 17:45:26 +0000 (17:45 +0000)]
Fix some errors from Clang ubsan
Nick Gasson [Sun, 3 Nov 2024 15:42:36 +0000 (15:42 +0000)]
Fixes to handling of staticness of generics and constants
Fixes #1022
Nick Gasson [Sun, 3 Nov 2024 15:03:48 +0000 (15:03 +0000)]
Spill excess arguments to temporary storage. Fixes #1036
Nick Gasson [Sun, 3 Nov 2024 11:39:33 +0000 (11:39 +0000)]
Add a test case for issue #1030
Nick Gasson [Sun, 3 Nov 2024 11:25:16 +0000 (11:25 +0000)]
Missing Verilog "or" and "=" operators. Issue #1044
Nick Gasson [Sun, 3 Nov 2024 10:46:14 +0000 (10:46 +0000)]
Implement PSL logical operators. Issue #998
Nick Gasson [Sat, 2 Nov 2024 21:55:39 +0000 (21:55 +0000)]
PSL assertions should not be postponed
Nick Gasson [Sat, 2 Nov 2024 17:22:53 +0000 (17:22 +0000)]
Allow VHPI value change callback on records
Nick Gasson [Sat, 2 Nov 2024 17:04:52 +0000 (17:04 +0000)]
Refactor event watching interface
Nick Gasson [Sat, 2 Nov 2024 13:56:28 +0000 (13:56 +0000)]
Handle selected names in vhpi_register_cb. Issue #1045
Nick Gasson [Sat, 2 Nov 2024 13:10:35 +0000 (13:10 +0000)]
Refactor vhpi_handle_by_name
NikLeberg [Sat, 2 Nov 2024 11:29:39 +0000 (12:29 +0100)]
Add NULL check before calling type_eq. (#1050)
Issue #1038
Nick Gasson [Sat, 2 Nov 2024 10:19:21 +0000 (10:19 +0000)]
Avoid duplicate -lstd warning on macOS
NikLeberg [Sat, 2 Nov 2024 09:55:00 +0000 (10:55 +0100)]
Fix crash on warning of hidden declaration. Issue #1038 (#1048)
Nick Gasson [Wed, 30 Oct 2024 22:25:00 +0000 (22:25 +0000)]
PSL suffix implication. Issue #912
Some code from @Blebowski in #1039
Nick Gasson [Wed, 30 Oct 2024 21:50:21 +0000 (21:50 +0000)]
Avoid use of IEEE libs in unit tests
Nick Gasson [Wed, 30 Oct 2024 20:41:05 +0000 (20:41 +0000)]
Add a test-and-set bit mask operation
Nick Gasson [Wed, 30 Oct 2024 20:31:44 +0000 (20:31 +0000)]
Refactor emission of PSL assertion failures
Nick Gasson [Mon, 28 Oct 2024 20:34:43 +0000 (20:34 +0000)]
Add support for PSL before operator. Issue #998
Nick Gasson [Mon, 28 Oct 2024 20:15:32 +0000 (20:15 +0000)]
Add support for PSL abort operator. Issue #998
Nick Gasson [Mon, 28 Oct 2024 19:33:40 +0000 (19:33 +0000)]
Fix translation of empty SERE repetition
Nick Gasson [Mon, 28 Oct 2024 17:28:18 +0000 (17:28 +0000)]
Avoid generating redundant empty blocks from PSL
Nick Gasson [Wed, 30 Oct 2024 18:25:07 +0000 (18:25 +0000)]
Build PSL implications recursively as with other nodes
Nick Gasson [Wed, 30 Oct 2024 18:22:49 +0000 (18:22 +0000)]
Fix crash with zero-length string literal and enumerated index type
Fixes #1021
Jonathan Eisch [Wed, 30 Oct 2024 21:34:55 +0000 (16:34 -0500)]
Fix missing libzstd dependency for LLVM on macOS (#1047)
Fixes #1046
Nick Gasson [Mon, 28 Oct 2024 21:58:57 +0000 (21:58 +0000)]
Implement 'last_value for record types. Fixes #1043
Nick Gasson [Thu, 24 Oct 2024 18:31:56 +0000 (19:31 +0100)]
Another attempt to fix line endings in test/regress/vlog2.v
Nick Gasson [Sat, 26 Oct 2024 11:38:33 +0000 (12:38 +0100)]
Sync NEWS.md from 1.14 branch
Nick Gasson [Sat, 26 Oct 2024 10:43:37 +0000 (11:43 +0100)]
Do not force -mpopcnt if it was explicitly disabled by user
Nick Gasson [Sat, 26 Oct 2024 10:34:14 +0000 (11:34 +0100)]
Fix test_native unit test on X86 CPUs without SSE4.1
Nick Gasson [Sat, 26 Oct 2024 09:47:54 +0000 (10:47 +0100)]
Fix crash analysing VHDL-2008 concatenation in aggregate
Fixes #1024, #1028
Nick Gasson [Fri, 25 Oct 2024 20:49:29 +0000 (21:49 +0100)]
Fix crash after bounds checking error. Fixes #1040
Nick Gasson [Thu, 24 Oct 2024 18:15:31 +0000 (19:15 +0100)]
Use full path to C compiler on Windows by default. Issue #1015
Nick Gasson [Thu, 24 Oct 2024 18:14:00 +0000 (19:14 +0100)]
Use CRLF line endings for test/regress/vlog2.v
NikLeberg [Wed, 23 Oct 2024 08:07:30 +0000 (18:07 +1000)]
Warn on missing wait (#1034)
Nick Gasson [Tue, 22 Oct 2024 18:40:58 +0000 (19:40 +0100)]
Analyse unisims/retarget in install-vivado.sh. Fixes #1037
Nick Gasson [Tue, 22 Oct 2024 18:36:36 +0000 (19:36 +0100)]
Make sure set_cover_scope_name is covered in regression tests
Ondrej Ille [Tue, 22 Oct 2024 18:19:51 +0000 (20:19 +0200)]
OSVVM functional coverage integration (#1032)
Nick Gasson [Mon, 21 Oct 2024 22:09:41 +0000 (23:09 +0100)]
Handle record subtypes in VHPI. Fixes #1035
Nick Gasson [Mon, 21 Oct 2024 19:50:11 +0000 (20:50 +0100)]
Check PSL sequence declaration. Fixes #1023
Nick Gasson [Sun, 20 Oct 2024 23:14:05 +0000 (00:14 +0100)]
Fix incorrect result of signal_layout_of for records. Issue #1030
Nick Gasson [Sun, 20 Oct 2024 18:59:52 +0000 (19:59 +0100)]
Check argument of PSL restrict and assume. Fixes #1026
Nick Gasson [Sun, 20 Oct 2024 18:54:29 +0000 (19:54 +0100)]
Fix crash with output conversion in procedure call. Fixes #1020
Nick Gasson [Sun, 20 Oct 2024 14:41:14 +0000 (15:41 +0100)]
Fix crash when generic subprogram is associated with open
Fixes #1025
Nick Gasson [Sun, 20 Oct 2024 14:27:33 +0000 (15:27 +0100)]
Improve checking of generic maps with open associations
Issue #1025
Ondrej Ille [Sun, 20 Oct 2024 14:18:38 +0000 (16:18 +0200)]
Report coverage correctly when it is 0 % (#1033)
Nick Gasson [Fri, 18 Oct 2024 08:10:18 +0000 (09:10 +0100)]
Fix crash when external name is passed to procedure. Fixes #1029
Nick Gasson [Wed, 16 Oct 2024 17:26:57 +0000 (18:26 +0100)]
More validation of names passed to coverage API. Issue #1011
Nick Gasson [Wed, 16 Oct 2024 17:06:10 +0000 (18:06 +0100)]
Check that implicit signal parameters are static. Fixes #1018
Nick Gasson [Mon, 14 Oct 2024 20:25:55 +0000 (21:25 +0100)]
Add package for creating user-defined functional coverage items
Issue #1011
Nick Gasson [Mon, 14 Oct 2024 18:11:51 +0000 (19:11 +0100)]
Add analysis option to detect incomplete sensitivity lists
Fixes #1008
Nick Gasson [Sun, 13 Oct 2024 10:48:45 +0000 (11:48 +0100)]
Recursively map generic types during elaboration. Issue #1017
Nick Gasson [Sun, 13 Oct 2024 09:52:32 +0000 (10:52 +0100)]
Refactor handling of Verilog drive strengths