Allow dist expressions in sequences

MikePopoloski · Aug 14, 2021 · a12c4a3 · a12c4a3
1 parent 184beae
commit a12c4a3
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 1 deletion.
diff --git a/source/binding/AssertionExpr.cpp b/source/binding/AssertionExpr.cpp
@@ -51,7 +51,7 @@ static const Expression& bindExpr(const ExpressionSyntax& syntax, const BindCont
     if (allowInstances && (expr.type->isSequenceType() || expr.type->isPropertyType()))
         return expr;
 
-    if (!expr.type->isValidForSequence()) {
+    if (!expr.type->isValidForSequence() && expr.kind != ExpressionKind::Dist) {
         auto& comp = context.getCompilation();
         context.addDiag(diag::AssertionExprType, expr.sourceRange) << *expr.type;
         return *comp.emplace<InvalidExpression>(&expr, comp.getErrorType());

diff --git a/tests/unittests/AssertionTests.cpp b/tests/unittests/AssertionTests.cpp
@@ -1121,3 +1121,16 @@ endmodule
     CHECK(diags[0].code == diag::ConcurrentAssertActionBlock);
     CHECK(diags[1].code == diag::ConcurrentAssertActionBlock);
 }
+
+TEST_CASE("Sequence with dist expression") {
+    auto tree = SyntaxTree::fromText(R"(
+module m;
+    wire clk, req;
+    assume property (@(posedge clk) req dist {0:=40, 1:=60});
+endmodule
+)");
+
+    Compilation compilation;
+    compilation.addSyntaxTree(tree);
+    NO_COMPILATION_ERRORS;
+}