]> git.nickg.me.uk Git - nvc.git/log
nvc.git
5 months agoAvoid repeated calls to NOW in VitalGlitch
Nick Gasson [Fri, 24 Nov 2023 17:16:41 +0000 (17:16 +0000)]
Avoid repeated calls to NOW in VitalGlitch

5 months agoAdd more never_waits attributes to VITAL procedures
Nick Gasson [Fri, 24 Nov 2023 17:10:42 +0000 (17:10 +0000)]
Add more never_waits attributes to VITAL procedures

5 months agoOnly allow 'VALUE for one-dimensional arrays prior to 2019
Nick Gasson [Thu, 23 Nov 2023 22:07:28 +0000 (22:07 +0000)]
Only allow 'VALUE for one-dimensional arrays prior to 2019

5 months agoHook up __nvc_last_event
Nick Gasson [Thu, 23 Nov 2023 21:54:36 +0000 (21:54 +0000)]
Hook up __nvc_last_event

5 months agoTidy up logic in p_concurrent_statement
Nick Gasson [Wed, 22 Nov 2023 21:34:54 +0000 (21:34 +0000)]
Tidy up logic in p_concurrent_statement

5 months agoSplit PSL declarations from directives. Fixes #803
Nick Gasson [Wed, 22 Nov 2023 21:22:06 +0000 (21:22 +0000)]
Split PSL declarations from directives. Fixes #803

5 months agoFix crash with type alias in implicit condition conversion
Nick Gasson [Wed, 22 Nov 2023 19:57:34 +0000 (19:57 +0000)]
Fix crash with type alias in implicit condition conversion

Fixes #802

5 months agoAdd warning for predefined array comparisons with different lengths
Nick Gasson [Tue, 21 Nov 2023 19:21:29 +0000 (19:21 +0000)]
Add warning for predefined array comparisons with different lengths

Fixes #800

5 months agoFix crash with type alias and string literal
Nick Gasson [Tue, 21 Nov 2023 18:48:02 +0000 (18:48 +0000)]
Fix crash with type alias and string literal

Fixes #801

5 months agoWorkaround for macOS GitHub Actions failure
Nick Gasson [Tue, 21 Nov 2023 19:57:02 +0000 (19:57 +0000)]
Workaround for macOS GitHub Actions failure

5 months agoFix wrong result bounds when TO_UNSIGNED is constant folded
Nick Gasson [Mon, 20 Nov 2023 21:09:00 +0000 (21:09 +0000)]
Fix wrong result bounds when TO_UNSIGNED is constant folded

Fixes #799

5 months agoDisable __builtin_setjmp with Clang
Nick Gasson [Mon, 20 Nov 2023 17:51:01 +0000 (17:51 +0000)]
Disable __builtin_setjmp with Clang

Fixes #796

6 months agoCover functional exclude (#798)
Blebowski [Sun, 19 Nov 2023 20:43:52 +0000 (15:43 -0500)]
Cover functional exclude (#798)

* src: Fix forgotten loc when COVER_DEBUG_EMIT is enabled.

* src: Add exclude support for functional cover points.

* src: Add exclude button to functional cover points.

6 months agoBasic functional coverage from PSL cover directive
Nick Gasson [Sun, 19 Nov 2023 16:28:42 +0000 (16:28 +0000)]
Basic functional coverage from PSL cover directive

Issue #795

6 months agoRevert to using the old array macros in cov/
Nick Gasson [Sun, 19 Nov 2023 15:34:49 +0000 (15:34 +0000)]
Revert to using the old array macros in cov/

6 months agoMake cover_add_item take a generic object_t pointer
Nick Gasson [Sun, 19 Nov 2023 15:05:23 +0000 (15:05 +0000)]
Make cover_add_item take a generic object_t pointer

6 months agoDo not store tree kind directly in coverage database
Nick Gasson [Sun, 19 Nov 2023 15:00:00 +0000 (15:00 +0000)]
Do not store tree kind directly in coverage database

6 months agoAdd basic support for PSL cover directives
Nick Gasson [Sat, 18 Nov 2023 19:54:01 +0000 (19:54 +0000)]
Add basic support for PSL cover directives

Issue #795

6 months agoAvoid unnecessary scalar conversions
Nick Gasson [Fri, 17 Nov 2023 22:41:57 +0000 (22:41 +0000)]
Avoid unnecessary scalar conversions

6 months agoRemove unused solve_param function
Nick Gasson [Fri, 17 Nov 2023 21:08:29 +0000 (21:08 +0000)]
Remove unused solve_param function

6 months agoImprove handling of implicit literal conversions
Nick Gasson [Thu, 16 Nov 2023 22:28:47 +0000 (22:28 +0000)]
Improve handling of implicit literal conversions

6 months agoSimplify handling of implicit condition conversion
Nick Gasson [Wed, 15 Nov 2023 19:43:56 +0000 (19:43 +0000)]
Simplify handling of implicit condition conversion

6 months agoFix check for entity name in absolute external pathnames
Nick Gasson [Wed, 15 Nov 2023 22:17:20 +0000 (22:17 +0000)]
Fix check for entity name in absolute external pathnames

Fixes #794

6 months agoSingle elaboration function for Verilog and VHDL
Nick Gasson [Sun, 12 Nov 2023 21:00:08 +0000 (21:00 +0000)]
Single elaboration function for Verilog and VHDL

6 months agoAdd side-channel for passing JSON objects from TCL to GUI
Nick Gasson [Sun, 12 Nov 2023 20:28:31 +0000 (20:28 +0000)]
Add side-channel for passing JSON objects from TCL to GUI

6 months agoAdd TCL describe command to query object properties
Nick Gasson [Sun, 12 Nov 2023 15:07:45 +0000 (15:07 +0000)]
Add TCL describe command to query object properties

6 months agoAdd some initial support for Windows on Arm64
Nick Gasson [Sun, 12 Nov 2023 10:50:45 +0000 (10:50 +0000)]
Add some initial support for Windows on Arm64

6 months agoImprove overload resolution for partial associations. Fixes #793
Nick Gasson [Sun, 12 Nov 2023 10:01:21 +0000 (10:01 +0000)]
Improve overload resolution for partial associations. Fixes #793

6 months agoImprove error when architecture name hides object
Nick Gasson [Thu, 9 Nov 2023 22:18:47 +0000 (22:18 +0000)]
Improve error when architecture name hides object

Fixes #789

6 months agoAdd a --port option to set GUI port number
Nick Gasson [Thu, 9 Nov 2023 21:37:22 +0000 (21:37 +0000)]
Add a --port option to set GUI port number

6 months agoLimit maximum size of stack allocations to 64kB
Nick Gasson [Wed, 8 Nov 2023 21:39:53 +0000 (21:39 +0000)]
Limit maximum size of stack allocations to 64kB

Fixes #791

6 months agoServe static files using binary mode
Nick Gasson [Wed, 8 Nov 2023 21:38:47 +0000 (21:38 +0000)]
Serve static files using binary mode

6 months agoUse memset for aggregates with repeating string literals
Nick Gasson [Wed, 8 Nov 2023 21:31:25 +0000 (21:31 +0000)]
Use memset for aggregates with repeating string literals

6 months agoCrash with alias of protected type in VHDL-2002
Nick Gasson [Wed, 8 Nov 2023 19:20:50 +0000 (19:20 +0000)]
Crash with alias of protected type in VHDL-2002

Fixes #792

6 months agoUse GCC builtin setjmp/longjmp where available
Nick Gasson [Wed, 8 Nov 2023 19:08:04 +0000 (19:08 +0000)]
Use GCC builtin setjmp/longjmp where available

6 months agoSimplify vcode dump callback
Nick Gasson [Wed, 8 Nov 2023 19:08:04 +0000 (19:08 +0000)]
Simplify vcode dump callback

6 months agoRemove implicit argument from some vcode_* functions
Nick Gasson [Wed, 8 Nov 2023 19:08:04 +0000 (19:08 +0000)]
Remove implicit argument from some vcode_* functions

6 months agoFixes for GUI and build warnings on Windows. Issue #786
Nick Gasson [Tue, 7 Nov 2023 22:14:03 +0000 (22:14 +0000)]
Fixes for GUI and build warnings on Windows. Issue #786

6 months agoFixes for 32-bit Windows
Nick Gasson [Tue, 7 Nov 2023 21:02:46 +0000 (21:02 +0000)]
Fixes for 32-bit Windows

6 months agoRemove .eslintignore file
Nick Gasson [Mon, 6 Nov 2023 22:34:53 +0000 (22:34 +0000)]
Remove .eslintignore file

6 months agoAdd an experimental browser-based GUI
Nick Gasson [Fri, 9 Jun 2023 11:36:41 +0000 (12:36 +0100)]
Add an experimental browser-based GUI

6 months agoBump GitHub Actions macOS runner to macos-12
Nick Gasson [Sat, 4 Nov 2023 17:47:34 +0000 (17:47 +0000)]
Bump GitHub Actions macOS runner to macos-12

6 months agoRemove MicroHTTP dependency for WebSocket server
Nick Gasson [Sat, 4 Nov 2023 13:55:04 +0000 (13:55 +0000)]
Remove MicroHTTP dependency for WebSocket server

6 months agoAdd NEVER_WAITS attribute for some VITAL procedures
Nick Gasson [Fri, 3 Nov 2023 21:45:36 +0000 (21:45 +0000)]
Add NEVER_WAITS attribute for some VITAL procedures

6 months agoWrong data passed to 'VALUE attribute. Fixes #790
Nick Gasson [Fri, 3 Nov 2023 09:13:15 +0000 (09:13 +0000)]
Wrong data passed to 'VALUE attribute. Fixes #790

6 months agoWorkarounds for slow emulated TLS on MinGW
Nick Gasson [Thu, 2 Nov 2023 22:26:25 +0000 (22:26 +0000)]
Workarounds for slow emulated TLS on MinGW

6 months agoCreate drivers for procedure arguments with mode view indications
Nick Gasson [Thu, 2 Nov 2023 20:44:00 +0000 (20:44 +0000)]
Create drivers for procedure arguments with mode view indications

6 months agoSemantic checks for procedure parameters with mode view indication
Nick Gasson [Wed, 1 Nov 2023 22:45:48 +0000 (22:45 +0000)]
Semantic checks for procedure parameters with mode view indication

6 months agoFix crash with assignment to null signal. Fixes #787
Nick Gasson [Wed, 1 Nov 2023 19:59:32 +0000 (19:59 +0000)]
Fix crash with assignment to null signal. Fixes #787

6 months agoFix-up merging of non-matching coverage items and scopes. (#785)
Blebowski [Wed, 1 Nov 2023 19:48:57 +0000 (20:48 +0100)]
Fix-up merging of non-matching coverage items and scopes. (#785)

6 months agoCheck for and warn about emulated thread-local storage
Nick Gasson [Tue, 31 Oct 2023 18:59:58 +0000 (18:59 +0000)]
Check for and warn about emulated thread-local storage

6 months agoEscape backslash in symbol name on Windows
Nick Gasson [Tue, 31 Oct 2023 18:56:21 +0000 (18:56 +0000)]
Escape backslash in symbol name on Windows

6 months agoAdd NEVER_WAITS attribute to optimise code generation for procedures
Nick Gasson [Tue, 31 Oct 2023 17:20:36 +0000 (17:20 +0000)]
Add NEVER_WAITS attribute to optimise code generation for procedures

6 months agoAdd specialised exit handler for 'last_event
Nick Gasson [Tue, 31 Oct 2023 15:10:50 +0000 (15:10 +0000)]
Add specialised exit handler for 'last_event

6 months agoAdd specialised foreign calling convention for internal routines
Nick Gasson [Tue, 31 Oct 2023 14:39:55 +0000 (14:39 +0000)]
Add specialised foreign calling convention for internal routines

6 months agoFix occasional JIT compilation failure due to too-small code buffer
Nick Gasson [Tue, 31 Oct 2023 12:19:43 +0000 (12:19 +0000)]
Fix occasional JIT compilation failure due to too-small code buffer

6 months agoAdd intrinsics for more IEEE.MATH_REAL operations
Nick Gasson [Mon, 30 Oct 2023 20:37:26 +0000 (20:37 +0000)]
Add intrinsics for more IEEE.MATH_REAL operations

6 months agoSubprogram specification/body wrong way round in diagnostic hint
Nick Gasson [Mon, 30 Oct 2023 20:04:58 +0000 (20:04 +0000)]
Subprogram specification/body wrong way round in diagnostic hint

6 months agoElaborate external name in alias declaration exactly once
Nick Gasson [Sun, 29 Oct 2023 22:51:38 +0000 (22:51 +0000)]
Elaborate external name in alias declaration exactly once

6 months agoCheck relative pathname for enclosing concurrent region
Nick Gasson [Sun, 29 Oct 2023 20:28:24 +0000 (20:28 +0000)]
Check relative pathname for enclosing concurrent region

6 months agoElaborate external names as callback from code generation
Nick Gasson [Sun, 29 Oct 2023 20:18:33 +0000 (20:18 +0000)]
Elaborate external names as callback from code generation

Fixes #709

6 months agoImprove checking for external names with array subtype indication
Nick Gasson [Sun, 29 Oct 2023 17:21:20 +0000 (17:21 +0000)]
Improve checking for external names with array subtype indication

6 months agoTest dumping external names
Nick Gasson [Sun, 29 Oct 2023 15:51:04 +0000 (15:51 +0000)]
Test dumping external names

6 months agoPreserve declarations when simplifying case-generate statement
Nick Gasson [Sun, 29 Oct 2023 15:47:02 +0000 (15:47 +0000)]
Preserve declarations when simplifying case-generate statement

6 months agoAdd jit_for_thread helper function
Nick Gasson [Sun, 29 Oct 2023 15:46:22 +0000 (15:46 +0000)]
Add jit_for_thread helper function

6 months agoMake hash_iter skip over deleted items
Nick Gasson [Sun, 29 Oct 2023 15:45:30 +0000 (15:45 +0000)]
Make hash_iter skip over deleted items

6 months agoVisibility issue with block name in configuration
Nick Gasson [Fri, 27 Oct 2023 21:06:21 +0000 (22:06 +0100)]
Visibility issue with block name in configuration

Fixes #783

6 months agoFix crash folding package constant. Issue #782
Nick Gasson [Fri, 27 Oct 2023 18:49:22 +0000 (19:49 +0100)]
Fix crash folding package constant. Issue #782

6 months agoFix crash after malformed generate statement
Nick Gasson [Fri, 27 Oct 2023 18:38:16 +0000 (19:38 +0100)]
Fix crash after malformed generate statement

6 months agoAdd TCL echo command
Nick Gasson [Wed, 25 Oct 2023 20:02:13 +0000 (21:02 +0100)]
Add TCL echo command

6 months agoAdd conversion functions for Verilog/VHDL interface boundary
Nick Gasson [Wed, 25 Oct 2023 20:02:13 +0000 (21:02 +0100)]
Add conversion functions for Verilog/VHDL interface boundary

6 months agoFix some typos and grammatical errors in documentation (#779)
sean-anderson-seco [Mon, 23 Oct 2023 20:42:36 +0000 (16:42 -0400)]
Fix some typos and grammatical errors in documentation (#779)

Fix a few errors I noticed while reading about FSM coverage.

6 months agoSplit src/rt/cover.c into multiple files (#780)
Nick Gasson [Mon, 23 Oct 2023 20:41:59 +0000 (21:41 +0100)]
Split src/rt/cover.c into multiple files (#780)

6 months agoImprove checking for invalid library name. Issue #778
Nick Gasson [Mon, 23 Oct 2023 17:41:13 +0000 (18:41 +0100)]
Improve checking for invalid library name. Issue #778

6 months agoRefactoring of cover. (#777)
Blebowski [Mon, 23 Oct 2023 17:18:58 +0000 (19:18 +0200)]
Refactoring of cover.  (#777)

src, test: Refactoring of cover. Rename "tag" to "item", and "tagging" to "data".

6 months agoParse Verilog inout ports
Nick Gasson [Sun, 22 Oct 2023 16:00:19 +0000 (17:00 +0100)]
Parse Verilog inout ports

6 months agoParse Verilog timescale directive
Nick Gasson [Sun, 22 Oct 2023 15:55:53 +0000 (16:55 +0100)]
Parse Verilog timescale directive

6 months agoIntegrate Verilog preprocessor with parser
Nick Gasson [Sun, 22 Oct 2023 14:51:14 +0000 (15:51 +0100)]
Integrate Verilog preprocessor with parser

6 months agoError if signal has more than 2^31 sub-elements
Nick Gasson [Sun, 22 Oct 2023 14:06:13 +0000 (15:06 +0100)]
Error if signal has more than 2^31 sub-elements

6 months agoCreate implicit aliases for predefined operators of a type
Nick Gasson [Sat, 21 Oct 2023 13:55:57 +0000 (14:55 +0100)]
Create implicit aliases for predefined operators of a type

Fixes #776

6 months agoGenerate unique name mangling for predefined functions
Nick Gasson [Sun, 22 Oct 2023 13:25:14 +0000 (14:25 +0100)]
Generate unique name mangling for predefined functions

6 months agoExclude Verilog preprocessor from coverage collection
Nick Gasson [Sun, 22 Oct 2023 10:50:19 +0000 (11:50 +0100)]
Exclude Verilog preprocessor from coverage collection

6 months agoAdd NEWS.md item for FSM state coverage
Nick Gasson [Sun, 22 Oct 2023 10:49:07 +0000 (11:49 +0100)]
Add NEWS.md item for FSM state coverage

6 months agoFSM state coverage. (#771)
Blebowski [Sun, 22 Oct 2023 10:46:54 +0000 (12:46 +0200)]
FSM state coverage. (#771)

6 months agoFix race condition in arena_by_name
Nick Gasson [Sat, 21 Oct 2023 10:05:20 +0000 (11:05 +0100)]
Fix race condition in arena_by_name

6 months agoAdd Verilog preprocessor step
Nick Gasson [Sat, 21 Oct 2023 09:34:45 +0000 (10:34 +0100)]
Add Verilog preprocessor step

6 months agoFix uninitialised variable warning in eval.c
Nick Gasson [Sat, 21 Oct 2023 08:37:11 +0000 (09:37 +0100)]
Fix uninitialised variable warning in eval.c

7 months agoRemove the unsupported --enable-jit configure option
Nick Gasson [Fri, 20 Oct 2023 18:21:25 +0000 (19:21 +0100)]
Remove the unsupported --enable-jit configure option

Issue 775

7 months agoUse master branch of cocotb for regression tests
Nick Gasson [Thu, 19 Oct 2023 18:25:35 +0000 (19:25 +0100)]
Use master branch of cocotb for regression tests

7 months agoMove PSL dumper test to test_dump.c
Nick Gasson [Wed, 18 Oct 2023 19:36:27 +0000 (20:36 +0100)]
Move PSL dumper test to test_dump.c

7 months agoAdd PSL until and until_ FL operators
Nick Gasson [Wed, 18 Oct 2023 19:36:27 +0000 (20:36 +0100)]
Add PSL until and until_ FL operators

7 months agoSupport cycle count in PSL next operator
Nick Gasson [Wed, 18 Oct 2023 19:36:27 +0000 (20:36 +0100)]
Support cycle count in PSL next operator

7 months agoType conversion between arrays with closely related elements
Nick Gasson [Tue, 17 Oct 2023 20:18:21 +0000 (21:18 +0100)]
Type conversion between arrays with closely related elements

7 months agoImprove checking for closely related types
Nick Gasson [Tue, 17 Oct 2023 19:34:56 +0000 (20:34 +0100)]
Improve checking for closely related types

7 months agoSync NEWS.md from 1.10 branch
Nick Gasson [Mon, 16 Oct 2023 16:40:19 +0000 (17:40 +0100)]
Sync NEWS.md from 1.10 branch

7 months agoMake generated .deb file names unique
Nick Gasson [Mon, 16 Oct 2023 16:05:36 +0000 (17:05 +0100)]
Make generated .deb file names unique

7 months agoMissing bounds check for aggregate with range association
Nick Gasson [Mon, 16 Oct 2023 15:14:20 +0000 (16:14 +0100)]
Missing bounds check for aggregate with range association

7 months agoAdd configure check for gettid. Fixes #774
Nick Gasson [Mon, 16 Oct 2023 14:45:19 +0000 (15:45 +0100)]
Add configure check for gettid. Fixes #774

7 months agoAdd more external projects to regression tests
Nick Gasson [Mon, 16 Oct 2023 13:39:33 +0000 (14:39 +0100)]
Add more external projects to regression tests

7 months agoFold locally static expressions with array type
Nick Gasson [Mon, 16 Oct 2023 13:30:45 +0000 (14:30 +0100)]
Fold locally static expressions with array type