]> Nick Gasson's Git Repositories - nvc.git/log
nvc.git
4 days agoFST dumping for nested arrays. Fixes #1071 master github/master sr.ht/master
Nick Gasson [Sun, 17 Nov 2024 10:54:22 +0000 (10:54 +0000)]
FST dumping for nested arrays. Fixes #1071

4 days agoAdd a minimal VPI implementation for system tasks
Nick Gasson [Wed, 23 Oct 2024 15:15:41 +0000 (15:15 +0000)]
Add a minimal VPI implementation for system tasks

4 days agoFix uninitialised variable warning in lower_port_map
Nick Gasson [Sat, 16 Nov 2024 20:50:38 +0000 (20:50 +0000)]
Fix uninitialised variable warning in lower_port_map

4 days agoAdd PSL non-consecutive and goto repetition support. (#1077)
Ondrej Ille [Sun, 17 Nov 2024 11:03:43 +0000 (12:03 +0100)]
Add PSL non-consecutive and goto repetition support. (#1077)

4 days agoAdd SERE fusion support. (#1078)
Ondrej Ille [Sun, 17 Nov 2024 11:01:35 +0000 (12:01 +0100)]
Add SERE fusion support. (#1078)

5 days agoHandle partial association of interface views. Issue #1074
Nick Gasson [Fri, 15 Nov 2024 21:40:14 +0000 (21:40 +0000)]
Handle partial association of interface views. Issue #1074

5 days agoDumping for view declarations
Nick Gasson [Fri, 15 Nov 2024 22:12:59 +0000 (22:12 +0000)]
Dumping for view declarations

6 days agoCheck alias of external name does not have subtype indication
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

6 days agoPSL SERE repetition (#1053)
Ondrej Ille [Thu, 14 Nov 2024 20:28:35 +0000 (21:28 +0100)]
PSL SERE repetition (#1053)

7 days agoAllow multiple taken edges from PSL state
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

7 days agoGet architecture type from preprocessor defines. Issue #1069
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.

8 days agoImprove checking of 'RANGE attribute. Fixes #1067
Nick Gasson [Tue, 12 Nov 2024 21:09:01 +0000 (21:09 +0000)]
Improve checking of 'RANGE attribute. Fixes #1067

8 days agoMove code coverage database out of library directory
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.

10 days agoAdd --no-save analysis option and deprecated --syntax
Nick Gasson [Sun, 10 Nov 2024 21:13:01 +0000 (21:13 +0000)]
Add --no-save analysis option and deprecated --syntax

10 days agoMake VHPI memory stats less verbose
Nick Gasson [Sun, 10 Nov 2024 17:45:23 +0000 (17:45 +0000)]
Make VHPI memory stats less verbose

10 days agoImplement vhpiType relationship for selected names
Nick Gasson [Sun, 10 Nov 2024 17:12:56 +0000 (17:12 +0000)]
Implement vhpiType relationship for selected names

Discussion #1059

10 days agoBump version to 1.15-devel
Nick Gasson [Sun, 10 Nov 2024 16:39:22 +0000 (16:39 +0000)]
Bump version to 1.15-devel

10 days agoBuild VHPI record elements lazily
Nick Gasson [Sun, 10 Nov 2024 16:33:53 +0000 (16:33 +0000)]
Build VHPI record elements lazily

10 days agoBuild VHPI enumeration literals lazily
Nick Gasson [Sun, 10 Nov 2024 16:26:58 +0000 (16:26 +0000)]
Build VHPI enumeration literals lazily

10 days agoUse an arena to allocate VHPI objects
Nick Gasson [Sun, 16 Jun 2024 16:01:43 +0000 (17:01 +0100)]
Use an arena to allocate VHPI objects

11 days agoRemove vhpi_is_repetitive
Nick Gasson [Sun, 10 Nov 2024 12:16:08 +0000 (12:16 +0000)]
Remove vhpi_is_repetitive

11 days agoRefactor building of VHPI types
Nick Gasson [Sat, 9 Nov 2024 20:42:37 +0000 (20:42 +0000)]
Refactor building of VHPI types

11 days agoCreate type bounds variable for records
Nick Gasson [Sat, 9 Nov 2024 10:03:38 +0000 (10:03 +0000)]
Create type bounds variable for records

11 days agoWrong bounds for nested array of records in FST dump
Nick Gasson [Sat, 9 Nov 2024 16:49:28 +0000 (16:49 +0000)]
Wrong bounds for nested array of records in FST dump

11 days agoAdd debug environment variable for layouts
Nick Gasson [Sat, 9 Nov 2024 16:48:10 +0000 (16:48 +0000)]
Add debug environment variable for layouts

11 days agoSeparate runtime scope types for arrays and records
Nick Gasson [Sat, 9 Nov 2024 15:49:38 +0000 (15:49 +0000)]
Separate runtime scope types for arrays and records

11 days agoFix parser hang for integers in scientific notation (#1065)
NikLeberg [Sat, 9 Nov 2024 17:01:47 +0000 (01:01 +0800)]
Fix parser hang for integers in scientific notation (#1065)

12 days agoTypes and subtypes are valid named entities. Fixes #1064
Nick Gasson [Fri, 8 Nov 2024 20:13:09 +0000 (20:13 +0000)]
Types and subtypes are valid named entities. Fixes #1064

12 days agoFix crash with external name in sensitivity list. Fixes #1062
Nick Gasson [Fri, 8 Nov 2024 20:09:34 +0000 (20:09 +0000)]
Fix crash with external name in sensitivity list. Fixes #1062

12 days agoUse vhpiLazyListT for VHPI selected and indexed names
Nick Gasson [Fri, 8 Nov 2024 18:46:16 +0000 (18:46 +0000)]
Use vhpiLazyListT for VHPI selected and indexed names

12 days agoExpand VHPI root instance lazily
Nick Gasson [Fri, 8 Nov 2024 18:27:01 +0000 (18:27 +0000)]
Expand VHPI root instance lazily

12 days agoAbstract some of the VHPI lazy expansion logic
Nick Gasson [Fri, 8 Nov 2024 18:20:07 +0000 (18:20 +0000)]
Abstract some of the VHPI lazy expansion logic

12 days agoAdjust handling of implicit component block in VHPI
Nick Gasson [Fri, 8 Nov 2024 18:20:07 +0000 (18:20 +0000)]
Adjust handling of implicit component block in VHPI

12 days agoGet rid of VHPI InternalRegions list
Nick Gasson [Fri, 8 Nov 2024 18:20:07 +0000 (18:20 +0000)]
Get rid of VHPI InternalRegions list

13 days agoFix crash on long source lines. (#1061)
NikLeberg [Fri, 8 Nov 2024 10:57:17 +0000 (18:57 +0800)]
Fix crash on long source lines. (#1061)

Issue #1038

2 weeks agoOptimize toggle coverage performance (#1041)
Ondrej Ille [Thu, 7 Nov 2024 09:32:11 +0000 (10:32 +0100)]
Optimize toggle coverage performance (#1041)

2 weeks agoHandle invalid use of attribute as range (#1058)
NikLeberg [Thu, 7 Nov 2024 09:04:23 +0000 (17:04 +0800)]
Handle invalid use of attribute as range (#1058)

Issue #1038

2 weeks agoFix crash on unexpected psl builtin function in primary (#1051)
NikLeberg [Thu, 7 Nov 2024 09:03:46 +0000 (17:03 +0800)]
Fix crash on unexpected psl builtin function in primary (#1051)

Issue #1038

2 weeks agoHandle OPEN index constraint in VHPI. Fixes #1057
Nick Gasson [Wed, 6 Nov 2024 22:12:33 +0000 (22:12 +0000)]
Handle OPEN index constraint in VHPI. Fixes #1057

2 weeks agoMissing check for reconstraining constrained array. Issue #1057
Nick Gasson [Wed, 6 Nov 2024 22:12:33 +0000 (22:12 +0000)]
Missing check for reconstraining constrained array. Issue #1057

2 weeks agoFix typo in cgen_pointer_mask
Nick Gasson [Wed, 6 Nov 2024 21:04:57 +0000 (21:04 +0000)]
Fix typo in cgen_pointer_mask

2 weeks agoFix leak of VHPI c_tool instance
Nick Gasson [Mon, 4 Nov 2024 22:25:57 +0000 (22:25 +0000)]
Fix leak of VHPI c_tool instance

2 weeks agoFix parsing of selected name in resolution indication. Fixes #1055
Nick Gasson [Mon, 4 Nov 2024 19:52:27 +0000 (19:52 +0000)]
Fix parsing of selected name in resolution indication. Fixes #1055

2 weeks agoSplit split_nexus into fast/slow paths
Nick Gasson [Sun, 3 Nov 2024 21:53:32 +0000 (21:53 +0000)]
Split split_nexus into fast/slow paths

2 weeks agoImprove test selection in run_regr
Nick Gasson [Sun, 3 Nov 2024 21:23:19 +0000 (21:23 +0000)]
Improve test selection in run_regr

2 weeks agoKeep track of all watched signals in rt_watch_t
Nick Gasson [Sun, 3 Nov 2024 18:17:48 +0000 (18:17 +0000)]
Keep track of all watched signals in rt_watch_t

2 weeks agoMacOS LLVM only requires -L for libzstd (#1056)
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>
2 weeks agoFix some errors from Clang ubsan
Nick Gasson [Mon, 4 Nov 2024 17:45:26 +0000 (17:45 +0000)]
Fix some errors from Clang ubsan

2 weeks agoFixes to handling of staticness of generics and constants
Nick Gasson [Sun, 3 Nov 2024 15:42:36 +0000 (15:42 +0000)]
Fixes to handling of staticness of generics and constants

Fixes #1022

2 weeks agoSpill excess arguments to temporary storage. Fixes #1036
Nick Gasson [Sun, 3 Nov 2024 15:03:48 +0000 (15:03 +0000)]
Spill excess arguments to temporary storage. Fixes #1036

2 weeks agoAdd a test case for issue #1030
Nick Gasson [Sun, 3 Nov 2024 11:39:33 +0000 (11:39 +0000)]
Add a test case for issue #1030

2 weeks agoMissing Verilog "or" and "=" operators. Issue #1044
Nick Gasson [Sun, 3 Nov 2024 11:25:16 +0000 (11:25 +0000)]
Missing Verilog "or" and "=" operators. Issue #1044

2 weeks agoImplement PSL logical operators. Issue #998
Nick Gasson [Sun, 3 Nov 2024 10:46:14 +0000 (10:46 +0000)]
Implement PSL logical operators. Issue #998

2 weeks agoPSL assertions should not be postponed
Nick Gasson [Sat, 2 Nov 2024 21:55:39 +0000 (21:55 +0000)]
PSL assertions should not be postponed

2 weeks agoAllow VHPI value change callback on records
Nick Gasson [Sat, 2 Nov 2024 17:22:53 +0000 (17:22 +0000)]
Allow VHPI value change callback on records

2 weeks agoRefactor event watching interface
Nick Gasson [Sat, 2 Nov 2024 17:04:52 +0000 (17:04 +0000)]
Refactor event watching interface

2 weeks agoHandle selected names in vhpi_register_cb. Issue #1045
Nick Gasson [Sat, 2 Nov 2024 13:56:28 +0000 (13:56 +0000)]
Handle selected names in vhpi_register_cb. Issue #1045

2 weeks agoRefactor vhpi_handle_by_name
Nick Gasson [Sat, 2 Nov 2024 13:10:35 +0000 (13:10 +0000)]
Refactor vhpi_handle_by_name

2 weeks agoAdd NULL check before calling type_eq. (#1050)
NikLeberg [Sat, 2 Nov 2024 11:29:39 +0000 (12:29 +0100)]
Add NULL check before calling type_eq. (#1050)

Issue #1038

2 weeks agoAvoid duplicate -lstd warning on macOS
Nick Gasson [Sat, 2 Nov 2024 10:19:21 +0000 (10:19 +0000)]
Avoid duplicate -lstd warning on macOS

2 weeks agoFix crash on warning of hidden declaration. Issue #1038 (#1048)
NikLeberg [Sat, 2 Nov 2024 09:55:00 +0000 (10:55 +0100)]
Fix crash on warning of hidden declaration. Issue #1038 (#1048)

3 weeks agoPSL suffix implication. Issue #912
Nick Gasson [Wed, 30 Oct 2024 22:25:00 +0000 (22:25 +0000)]
PSL suffix implication. Issue #912

Some code from @Blebowski in #1039

3 weeks agoAvoid use of IEEE libs in unit tests
Nick Gasson [Wed, 30 Oct 2024 21:50:21 +0000 (21:50 +0000)]
Avoid use of IEEE libs in unit tests

3 weeks agoAdd a test-and-set bit mask operation
Nick Gasson [Wed, 30 Oct 2024 20:41:05 +0000 (20:41 +0000)]
Add a test-and-set bit mask operation

3 weeks agoRefactor emission of PSL assertion failures
Nick Gasson [Wed, 30 Oct 2024 20:31:44 +0000 (20:31 +0000)]
Refactor emission of PSL assertion failures

3 weeks agoAdd support for PSL before operator. Issue #998
Nick Gasson [Mon, 28 Oct 2024 20:34:43 +0000 (20:34 +0000)]
Add support for PSL before operator. Issue #998

3 weeks agoAdd support for PSL abort operator. Issue #998
Nick Gasson [Mon, 28 Oct 2024 20:15:32 +0000 (20:15 +0000)]
Add support for PSL abort operator. Issue #998

3 weeks agoFix translation of empty SERE repetition
Nick Gasson [Mon, 28 Oct 2024 19:33:40 +0000 (19:33 +0000)]
Fix translation of empty SERE repetition

3 weeks agoAvoid generating redundant empty blocks from PSL
Nick Gasson [Mon, 28 Oct 2024 17:28:18 +0000 (17:28 +0000)]
Avoid generating redundant empty blocks from PSL

3 weeks agoBuild PSL implications recursively as with other nodes
Nick Gasson [Wed, 30 Oct 2024 18:25:07 +0000 (18:25 +0000)]
Build PSL implications recursively as with other nodes

3 weeks agoFix crash with zero-length string literal and enumerated index type
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

3 weeks agoFix missing libzstd dependency for LLVM on macOS (#1047)
Jonathan Eisch [Wed, 30 Oct 2024 21:34:55 +0000 (16:34 -0500)]
Fix missing libzstd dependency for LLVM on macOS (#1047)

Fixes #1046

3 weeks agoImplement 'last_value for record types. Fixes #1043
Nick Gasson [Mon, 28 Oct 2024 21:58:57 +0000 (21:58 +0000)]
Implement 'last_value for record types. Fixes #1043

3 weeks agoAnother attempt to fix line endings in test/regress/vlog2.v
Nick Gasson [Thu, 24 Oct 2024 18:31:56 +0000 (19:31 +0100)]
Another attempt to fix line endings in test/regress/vlog2.v

3 weeks agoSync NEWS.md from 1.14 branch
Nick Gasson [Sat, 26 Oct 2024 11:38:33 +0000 (12:38 +0100)]
Sync NEWS.md from 1.14 branch

3 weeks agoDo not force -mpopcnt if it was explicitly disabled by user
Nick Gasson [Sat, 26 Oct 2024 10:43:37 +0000 (11:43 +0100)]
Do not force -mpopcnt if it was explicitly disabled by user

3 weeks agoFix test_native unit test on X86 CPUs without SSE4.1
Nick Gasson [Sat, 26 Oct 2024 10:34:14 +0000 (11:34 +0100)]
Fix test_native unit test on X86 CPUs without SSE4.1

3 weeks agoFix crash analysing VHDL-2008 concatenation in aggregate
Nick Gasson [Sat, 26 Oct 2024 09:47:54 +0000 (10:47 +0100)]
Fix crash analysing VHDL-2008 concatenation in aggregate

Fixes #1024, #1028

3 weeks agoFix crash after bounds checking error. Fixes #1040
Nick Gasson [Fri, 25 Oct 2024 20:49:29 +0000 (21:49 +0100)]
Fix crash after bounds checking error. Fixes #1040

3 weeks agoUse full path to C compiler on Windows by default. Issue #1015
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

3 weeks agoUse CRLF line endings for test/regress/vlog2.v
Nick Gasson [Thu, 24 Oct 2024 18:14:00 +0000 (19:14 +0100)]
Use CRLF line endings for test/regress/vlog2.v

4 weeks agoWarn on missing wait (#1034)
NikLeberg [Wed, 23 Oct 2024 08:07:30 +0000 (18:07 +1000)]
Warn on missing wait (#1034)

4 weeks agoAnalyse unisims/retarget in install-vivado.sh. Fixes #1037
Nick Gasson [Tue, 22 Oct 2024 18:40:58 +0000 (19:40 +0100)]
Analyse unisims/retarget in install-vivado.sh. Fixes #1037

4 weeks agoMake sure set_cover_scope_name is covered in regression tests
Nick Gasson [Tue, 22 Oct 2024 18:36:36 +0000 (19:36 +0100)]
Make sure set_cover_scope_name is covered in regression tests

4 weeks agoOSVVM functional coverage integration (#1032)
Ondrej Ille [Tue, 22 Oct 2024 18:19:51 +0000 (20:19 +0200)]
OSVVM functional coverage integration (#1032)

4 weeks agoHandle record subtypes in VHPI. Fixes #1035
Nick Gasson [Mon, 21 Oct 2024 22:09:41 +0000 (23:09 +0100)]
Handle record subtypes in VHPI. Fixes #1035

4 weeks agoCheck PSL sequence declaration. Fixes #1023
Nick Gasson [Mon, 21 Oct 2024 19:50:11 +0000 (20:50 +0100)]
Check PSL sequence declaration. Fixes #1023

4 weeks agoFix incorrect result of signal_layout_of for records. Issue #1030
Nick Gasson [Sun, 20 Oct 2024 23:14:05 +0000 (00:14 +0100)]
Fix incorrect result of signal_layout_of for records. Issue #1030

4 weeks agoCheck argument of PSL restrict and assume. Fixes #1026
Nick Gasson [Sun, 20 Oct 2024 18:59:52 +0000 (19:59 +0100)]
Check argument of PSL restrict and assume. Fixes #1026

4 weeks agoFix crash with output conversion in procedure call. Fixes #1020
Nick Gasson [Sun, 20 Oct 2024 18:54:29 +0000 (19:54 +0100)]
Fix crash with output conversion in procedure call. Fixes #1020

4 weeks agoFix crash when generic subprogram is associated with open
Nick Gasson [Sun, 20 Oct 2024 14:41:14 +0000 (15:41 +0100)]
Fix crash when generic subprogram is associated with open

Fixes #1025

4 weeks agoImprove checking of generic maps with open associations
Nick Gasson [Sun, 20 Oct 2024 14:27:33 +0000 (15:27 +0100)]
Improve checking of generic maps with open associations

Issue #1025

4 weeks agoReport coverage correctly when it is 0 % (#1033)
Ondrej Ille [Sun, 20 Oct 2024 14:18:38 +0000 (16:18 +0200)]
Report coverage correctly when it is 0 % (#1033)

4 weeks agoFix crash when external name is passed to procedure. Fixes #1029
Nick Gasson [Fri, 18 Oct 2024 08:10:18 +0000 (09:10 +0100)]
Fix crash when external name is passed to procedure. Fixes #1029

5 weeks agoMore validation of names passed to coverage API. Issue #1011
Nick Gasson [Wed, 16 Oct 2024 17:26:57 +0000 (18:26 +0100)]
More validation of names passed to coverage API. Issue #1011

5 weeks agoCheck that implicit signal parameters are static. Fixes #1018
Nick Gasson [Wed, 16 Oct 2024 17:06:10 +0000 (18:06 +0100)]
Check that implicit signal parameters are static. Fixes #1018

5 weeks agoAdd package for creating user-defined functional coverage items
Nick Gasson [Mon, 14 Oct 2024 20:25:55 +0000 (21:25 +0100)]
Add package for creating user-defined functional coverage items

Issue #1011

5 weeks agoAdd analysis option to detect incomplete sensitivity lists
Nick Gasson [Mon, 14 Oct 2024 18:11:51 +0000 (19:11 +0100)]
Add analysis option to detect incomplete sensitivity lists

Fixes #1008

5 weeks agoRecursively map generic types during elaboration. Issue #1017
Nick Gasson [Sun, 13 Oct 2024 10:48:45 +0000 (11:48 +0100)]
Recursively map generic types during elaboration. Issue #1017

5 weeks agoRefactor handling of Verilog drive strengths
Nick Gasson [Sun, 13 Oct 2024 09:52:32 +0000 (10:52 +0100)]
Refactor handling of Verilog drive strengths