From 1e8a644b8a0a05bd458d09b346ca55d4437f31c1 Mon Sep 17 00:00:00 2001
From: Dolu1990 <charles.papon.90@gmail.com>
Date: Fri, 29 Apr 2022 15:26:32 +0200
Subject: [PATCH] Add formal comment

---
 src/main/scala/mylib/MyTopLevelFormal.scala | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/main/scala/mylib/MyTopLevelFormal.scala b/src/main/scala/mylib/MyTopLevelFormal.scala
index c719285..21b48cd 100644
--- a/src/main/scala/mylib/MyTopLevelFormal.scala
+++ b/src/main/scala/mylib/MyTopLevelFormal.scala
@@ -3,7 +3,8 @@ package mylib
 import spinal.core._
 import spinal.core.formal._
 
-//MyTopLevel's testbench
+// You need SymbiYosys to be installed.
+// See https://spinalhdl.github.io/SpinalDoc-RTD/master/SpinalHDL/Formal%20verification/index.html#installing-requirements
 object MyTopLevelFormal {
   def main(args: Array[String]) {
     FormalConfig.withBMC(10).doVerify(new Component {