From 26564304e028a015bdcb9f1a6889f7847a3a5140 Mon Sep 17 00:00:00 2001
From: Kevin Laeufer
Date: Tue, 7 Jul 2020 16:09:39 -0700
Subject: verification: emit mesage as Verilog comment (#1712)

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>---
 src/test/scala/firrtlTests/formal/VerificationSpec.scala | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/test')

diff --git a/src/test/scala/firrtlTests/formal/VerificationSpec.scala b/src/test/scala/firrtlTests/formal/VerificationSpec.scala
index 0b160082..22dbc1f1 100644
--- a/src/test/scala/firrtlTests/formal/VerificationSpec.scala
+++ b/src/test/scala/firrtlTests/formal/VerificationSpec.scala
@@ -1,3 +1,5 @@
+// See LICENSE for license details.
+
 package firrtlTests.formal
 
 import firrtl.{SystemVerilogCompiler}
@@ -38,12 +40,15 @@ class VerificationSpec extends FirrtlFlatSpec {
         |  wire outputEquals0xAA = out == 8'haa;
         |  assign out = in;
         |  always @(posedge clock) begin
+        |    // assume input is 0xAA
         |    if (1'h1) begin
         |      assume(inputEquals0xAA);
         |    end
+        |    // assert that output equals input
         |    if (1'h1) begin
         |      assert(areEqual);
         |    end
+        |    // cover output is 0xAA
         |    if (1'h1) begin
         |      cover(outputEquals0xAA);
         |    end
-- 
cgit v1.2.3