The User Guide: DSim Major Release Highlights article outlines the high-level functionality of the 20230116 release. This article outlines the contents of each of the minor releases deployed since the 20230116 Major release.
Last patch: 20230116.15.0 -> Next major: 20230515.0.0:
Highlights:
The DSim 20230515.0.0 release contains the following highlights:
- Includes 7 DSim bug fixes
Summary
- 7 Bugs fixed
- 1 HIGH Severity
- 6 MEDIUM Severity
Bug Fixes with Release Notes
ID | Release Note | Severity |
---|---|---|
B669 | Conditional dist constraints fail to solve. | MEDIUM |
B746 | Added more options to make the compiled libraries on disk smaller. | MEDIUM |
B768 | Handling of static members of classes defined in modules improved. | MEDIUM |
B778 | Issue with min:typ:max on arrays fixed. | MEDIUM |
B780 | $clog2 of negative value fixed. | MEDIUM |
B782 | Performance improvement in simulation startup for large designs | HIGH |
B785 | Fixed reference to automatic variables in scopes outside of fork | MEDIUM |
RELEASE: 20230116.15.0
Below is the complete list of features and bugs contained within the release.
Summary
- 2 Bugs fixed
- 2 MEDIUM Severity
Bug Fixes with Release Notes
ID | Release Note | Severity |
---|---|---|
B693 | Incorrect constraint generated for a | |
dist constraint in a foreach loop. | MEDIUM | |
B776 | Grammar updated for SV2017 handling of attributes. | MEDIUM |
RELEASE: 20230116.14.0
Below is the complete list of features and bugs contained within the release.
Summary
- 1 Features Included
- 12 Bugs fixed
- 2 HIGH Severity
- 10 MEDIUM Severity
Features Included
ID | Release Note |
---|---|
S160 | Link to user source code now output after code generation crash. |
Bug Fixes with Release Notes
ID | Release Note | Severity |
---|---|---|
B413 | always_comb blocks run after initial/always | MEDIUM |
B418 | Constraint solver now resizes class arrays | HIGH |
B652 | Improve memory layout for user defined structs for efficiency | MEDIUM |
B733 | Fixed $sample in a disable-iff function | HIGH |
B737 | Changed #0 behaviour for continuous assignments, gates, and UDPs such that they will run in the ACTIVE region rather than the INACTIVE region | MEDIUM |
B745 | Fixed scaling of spec params SDF annotations to the local timescale of the module | MEDIUM |
B751 | Improved performance in looking up both SV and VHDL devices across all libraries. | MEDIUM |
B752 | $get_initial_random_seed() now supported | MEDIUM |
B753 | Fixed issue with wildcard match operators | MEDIUM |
B754 | Attributes are parsed compliant to 2017LRM. | MEDIUM |
B759 | Fixed VHDL name lookup issue | MEDIUM |
B763 | Fixed strength assignment to unpacked array. | MEDIUM |
RELEASE: 20230116.13.0
Below is the complete list of features and bugs contained within the release.
Summary
- 2 Bugs fixed
- 2 MEDIUM Severity
Bug Fixes with Release Notes
ID | Release Note | Severity |
---|---|---|
B721 | Fixed crashes due to unexpected statements in final blocks | MEDIUM |
B739 | Fixed optimization miscompile | MEDIUM |
RELEASE: 20230116.12.0
Below is the complete list of features and bugs contained within the release.
Summary
- 10 Bugs fixed
- 4 HIGH Severity
- 6 MEDIUM Severity
Bug Fixes with Release Notes
ID | Release Note | Severity |
---|---|---|
B694 | Simplified the extraction of variables to be sensitive to for @(*) statements in Verilog. | MEDIUM |
B700 | Fixed crash when use const'() as an argument to a property instance | HIGH |
B702 | Handles blocking assignments more appropriately when extracting the variables to be sensitive to for @(*). | MEDIUM |
B717 | Fixed the handling of whitespace in macro expansion related to escaped identifiers and timescale declarations. | HIGH |
B718 | Dynamic array new initializer permitted to be queue concatenation | HIGH |
B729 | n/a | MEDIUM |
B730 | Fixed miscompile of references to nets in package | MEDIUM |
B731 | Fixe an issue with unique/unique_index array methods when x or z was in the original array | MEDIUM |
B732 | n/a | MEDIUM |
B735 | Improved efficiency driver initialization of slices of strength rep nets | HIGH |
RELEASE: 20230116.11.0
Below is the complete list of features and bugs contained within the release.
Summary
- 7 Bugs fixed
- 1 HIGH Severity
- 6 MEDIUM Severity
Bug Fixes with Release Notes
ID | Release Note | Severity |
---|---|---|
B692 | Ranges in dist can be given in ascending or descending order | MEDIUM |
B704 | Corrected net resolution for trireg nets | MEDIUM |
B713 | Charge strength specified on a trireg with an initial continuous assignment applies to the net not the assignment. | MEDIUM |
B716 | Better analysis of input files with custom annotations. | HIGH |
B723 | Sizing issue with explicitly casted assignment pattern corrected. | MEDIUM |
B724 | Fixed reference to unannotate object error | MEDIUM |
B725 | Minor parsing issues corrected. | MEDIUM |
RELEASE: 20230116.10.0
Below is the complete list of features and bugs contained within the release.
Summary
- 9 Bugs fixed
- 4 HIGH Severity
- 5 MEDIUM Severity
Bug Fixes with Release Notes
ID | Release Note | Severity |
---|---|---|
B670 | Foreach constraint over state variables fails. | MEDIUM |
B688 | When all initial procedures in a program complete, terminate only threads stemming from initial blocks | HIGH |
B695 | Fixed constraint solver bug with using non-randomized data in unpacked arrays in a constraint expression. | HIGH |
B697 | Added missing code for when constraint solver evaluates unpacked slices of constant data. | HIGH |
B698 | Fix bug with use of wildcase arrays in the constraint solver | HIGH |
B699 | Corrected the debug representation of a macro with text preceding the first argument. | MEDIUM |
B703 | Fixed crash when passing associative constant through ref port | MEDIUM |
B706 | Fixed incorrect handling of pulse rejection's trailing edge. | MEDIUM |
B709 | Corrected the initial value of a net with a delayed assignment and a force | MEDIUM |
RELEASE: 20230116.9.0
Below is the complete list of features and bugs contained within the release.
Summary
- 12 Bugs fixed
- 5 HIGH Severity
- 7 MEDIUM Severity
Bug Fixes with Release Notes
ID | Release Note | Severity |
---|---|---|
B592 | $readmem does not detect certain invalid input | MEDIUM |
B613 | Improved $readmemb/$readmemh error handling. | MEDIUM |
B649 | Some nettype issues fixed. | MEDIUM |
B668 | Dist constraints involving wide variables may fail to solve. | MEDIUM |
B676 | $display("%p") fails for packed structs | MEDIUM |
B679 | Added better reporting of NULL $cast operations during simulation as well as reporting of incompatible $cast operations at compile time that were previously silent. | MEDIUM |
B685 | Compile fail for method on enum array. | HIGH |
B686 | Compile fail if input clockvar does not refer to variable. | HIGH |
B687 | Compile fail if constraint refers to variable in different module | HIGH |
B689 | Randomizing state variables may cause compile fail. | HIGH |
B690 | Constraint solving fails in some cases. | MEDIUM |
B691 | Constraint Solver support for hierarchical references | HIGH |
RELEASE: 20230116.8.0
Below is the complete list of features and bugs contained within the release.
Summary
- 6 Bugs fixed
- 6 MEDIUM Severity
Bug Fixes with Release Notes
ID | Release Note | Severity |
---|---|---|
B542 | Fixed misapplication of potentially overlapping forces on strength rep nets | MEDIUM |
B566 | Fixed array casting where element of the array types is a subtype of the other and those types are significantly different in size | MEDIUM |
B665 | Fix coercing of ports to inout in the presence of specify blocks | MEDIUM |
B667 | Fixed issues resolving items of interface class type. | MEDIUM |
B673 | NBA with timing control referencing automatic inadvertently disallowed. | MEDIUM |
B677 | Fixed unique-if when condition is a non-integral type | MEDIUM |
RELEASE: 20230116.7.0
Below is the complete list of features and bugs contained within the release.
Summary
- 6 Bugs fixed
- 1 HIGH Severity
- 5 MEDIUM Severity
Bug Fixes with Release Notes
ID | Release Note | Severity |
---|---|---|
B641 | $deposit on variable supported. | HIGH |
B648 | Added support for forcing variables that are passed through module ref ports' | MEDIUM |
B649 | Some nettype issues fixed. | MEDIUM |
B650 | Fixed crash if parameter has no default. | MEDIUM |
B661 | Fixed spurious wakeups of blocks waiting on an unpacked array which is under a force when an element is change is attempted | MEDIUM |
B663 | Result of queue concatenation corrupted in some cases. | MEDIUM |
RELEASE: 20230116.6.0
Below is the complete list of features and bugs contained within the release.
Summary
- 5 Bugs fixed
- 5 MEDIUM Severity
Bug Fixes with Release Notes
ID | Release Note | Severity |
---|---|---|
B297 | Crash connecting SV net to VHDL bit fixed | MEDIUM |
B597 | Port coercion warnings now issued. | MEDIUM |
B614 | Fixed initialization of udp state variable in the presence of -noopt | MEDIUM |
B640 | Constraints involving array indexing can fail to solve. | MEDIUM |
B647 | Constraint Solver incorrectly obtained virtual interface handles, leading to an invalid CSNull error. | MEDIUM |
RELEASE: 20230116.5.0
Below is the complete list of features and bugs contained within the release.
Summary
- 1 Features Included
- 8 Bugs fixed
- 1 HIGH Severity
- 7 MEDIUM Severity
Features Included
ID | Release Note |
---|---|
S157 | wait (mbx.num() != 0) supported. |
Bug Fixes with Release Notes
ID | Release Note | Severity |
---|---|---|
B608 | Fixed a memory management issue with encryption | MEDIUM |
B610 | Unary reduction corner case fixed. | MEDIUM |
B620 | Fixed negative pulse corner case where the negative pulse is created by the first 2 transitions on the net and those 2 edges are asymmetrical. | HIGH |
B623 | Multi-bit gate input terminals no longer flagged as error. | MEDIUM |
B625 | Fixes code generation crash if identifier contains "$". | MEDIUM |
B626 | Behavior of recursive evaluation of static functions independent of any order of evaluation | MEDIUM |
B630 | Enumeral definitions now allow any constant expression | MEDIUM |
B632 | Fixed crash on parameter of enum/struct type. | MEDIUM |
RELEASE: 20230116.4.0
This patch includes internal cleanup only.
RELEASE: 20230116.3.0
Below is the complete list of features and bugs contained within the release.
Highlights:
The DSim 20230116.3.0 release contains the following highlights:
- Includes 3 DSim bug fixes
Summary
- 3 Bugs fixed
- 3 MEDIUM Severity
Bug Fixes with Release Notes
ID | Release Note | Severity |
---|---|---|
B602 | Reduction operators having unsized arguments erroneously fiagged as unsized. | MEDIUM |
B603 | Net type not applied to all ports in ANSI declaration. | MEDIUM |
B605 | Crash when using Negative Timing Checks (NTC) with +acc+w fixed. |
MEDIUM |
RELEASE: 20230116.2.0
Below is the complete list of features and bugs contained within the release.
Highlights:
The DSim 20230116.2.0 release contains the following highlights:
-
Explicit array type conversion now supports the VHDL 2008 definition of closely related array types and arrays of arrays of closely related types
-
Includes 1 DSim bug fixes
Summary
- 1 Features Included
- 5 Bugs fixed
- 5 MEDIUM Severity
Features Included
ID | Release Note |
---|---|
S142 | Explicit array type conversion now supports the VHDL 2008 definition of closely related array types and arrays of arrays of closely related types |
Bug Fixes with Release Notes
ID | Release Note | Severity |
---|---|---|
B532 | Fixed a crash when casting arrays of integers to another array of integers | MEDIUM |
B564 | Fixed the evaluation of "closely related" between arrays of integer types at the element level | MEDIUM |
B593 | Improper sign extension on some task calls | MEDIUM |
B598 | Enhanced the sensitivity to included variables used to index the targets of assignments. | MEDIUM |
B600 | Crash during error recovery fixed. | MEDIUM |
RELEASE: 20230116.1.0
Highlights:
The DSim 20230116.1.0 release contains the following highlights:
- Includes 5 DSim bug fixes
Summary
- 5 Bugs fixed
- 5 MEDIUM Severity
Bug Fixes with Release Notes
ID | Release Note | Severity |
---|---|---|
B570 | Better handling of array optimizations when indexed by values that can exceed 32 bits in size. | MEDIUM |
B581 | Improved error reporting for both encryption and decryption for SV/VHDL | MEDIUM |
B582 | Illegal timing control in NBA now detected. | MEDIUM |
B585 | Fixed handling of meta values in multi-bit conditionals. | MEDIUM |
B591 | auto_bin_max not heeded for large coverpoints | MEDIUM |