diff --git a/www/features.html.in b/www/features.html.in index ea55d59f4..8d522541b 100644 --- a/www/features.html.in +++ b/www/features.html.in @@ -410,4 +410,557 @@ table below. +

Property Specification Language (PSL)

+ +

+NVC supports the "simple subset" of IEEE 1850-2010. PSL directives may +be written directly in VHDL if using VHDL-2008 or later, or embedded in +comments. Not all features are currently supported, please consult the +table below. +

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
LRM SectionFeatureStatus
5Boolean Layer
5.1Boolean expressionsmaster
5.1.1Bit expressionsmaster
5.1.2Boolean expressionsmaster
5.1.3Bit Vector expressionsmaster
5.1.4Numeric expressionsmaster
5.1.5String expressionsmaster
5.2Expression formsmaster
5.2.1HDL expressionsmaster
5.2.2PSL expressions
5.2.3Built-in functionsmaster
5.2.3.1prev()
5.2.3.2next()
5.2.3.3stable()
5.2.3.4rose()
5.2.3.5fell()
5.2.3.6ended()
5.2.3.7isunknown()master
5.2.3.8countones()master
5.2.3.9nondet()
5.2.3.10nondet_vector()
5.2.3.11onehot(), onehot0()
5.2.4Union expressions
5.3Clock expressions
5.4Default clock declarationmaster
6Temporal Layer
6.1Sequential Expressionsmaster
6.1.1Sequential Extended Regular Expressions (SEREs)master
6.1.1.1Simple SEREsmaster
6.1.1.1.1SERE concatenation (;)master
6.1.1.1.2SERE fusion (:)master
6.1.1.2Compound SEREs
6.1.1.2.1SERE or (|)
6.1.1.2.2SERE non-length-matching and (&)
6.1.1.2.3SERE length-matching and (&&)master
6.1.1.2.4SERE within
6.1.1.2.5Parameterized SERE
6.1.2Sequencesmaster
6.1.2.1SERE consecutive repetition ([* ])master
6.1.2.2SERE non-consecutive repetition ([= ])master
6.1.2.3SERE goto repetition ([-> ])master
6.1.2.4Braced SEREmaster
6.1.2.5Clocked SERE (@)
6.2Propertiesmaster
6.2.1FL Propertiesmaster
6.2.1.1Sequential FL Propertiesmaster
6.2.1.2Clocked FL Properties
6.2.1.3Simple FL Propertiesmaster
6.2.1.3.1alwaysmaster
6.2.1.3.2nevermaster
6.2.1.3.3eventually!master
6.2.1.3.4nextmaster
6.2.1.4Extended next FL Properties
6.2.1.4.1next_a
6.2.1.4.2next_e
6.2.1.4.3next_event
6.2.1.4.4next_event_a
6.2.1.4.5next_event_e
6.2.1.5Compound FL Propertiesmaster
6.2.1.5.1abort, async_abort and sync_abortmaster
6.2.1.5.2beforemaster
6.2.1.5.3untilmaster
6.2.1.6Sequence-based FL Propertiesmaster
6.2.1.6.1Suffix implicationmaster
6.2.1.7Logical FL Properties
6.2.1.7.1Parametrized property
6.2.1.7.2Logical implication
6.2.1.7.3Logical iff
6.2.1.7.4Logical and
6.2.1.7.5Logical or
6.2.1.7.6Logical not
6.2.1.8LTL operators
6.2.2Optional Branching Extension (OBE) propertiesN/A
6.2.3Replicated properties
6.3Local variables
6.4Procedural blocks
6.5Property and sequence declarations
6.5.1Parameters
6.5.1.1PSL formal parameter type classes
6.5.1.2HDL formal parameter type classes
6.5.2Declarations
6.5.2.1Sequence Declarations
6.5.2.2Property Declaration
6.5.3Instantiation
6.5.3.1Sequence instantiation
6.5.3.2Property instantiation
7Verification Layer
7.1Verification directivesmaster
7.1.1assertmaster
7.1.2assume
7.1.3restrict
7.1.4restrict!
7.1.5covermaster
7.1.6fairness and strong_fairness
7.2Verification units
7.2.1Verification unit binding
7.2.2Verification unit instantiation
7.2.3Verification unit inheritance
7.2.4Overriding assignments
7.2.4.1Simple case
7.2.4.2Multiple unrelated vunits
7.2.4.3Multiple overrides to the same signal
8Modeling layer
8.1Integer ranges
8.2Structures
8Scope and visibility rules
9.1Immediate scope
9.2Extended scope
9.3Direct and indirect name references
+ include(`footer.html.in')dnl diff --git a/www/style.css b/www/style.css index 8994f812e..b6181522f 100644 --- a/www/style.css +++ b/www/style.css @@ -150,7 +150,7 @@ table.feature-table td, th { } table.feature-table th { - background-color: #f0f0f0; + background-color: #e0e0e0; } td.feature-done { @@ -167,3 +167,17 @@ td.feature-missing { text-align: center; background-color: #db4040; } + +td.feature-na { + text-align: center; + background-color: #c0c0c0; +} + +tr.feature-group { + background-color: #f0f0f0; +} + +tr.feature-group td:nth-child(2) { + text-align: center; +} +