big update

- remove not supported anymore procedural syntax for main functions
- use App instead of main
- auto format
- move comments to have more user-friendly access to "run" and "debug"
  button for Apps
- move generators to dedicated new file

src/main/scala/mylib/MyTopLevelFormal.scala

@@ -5,9 +5,10 @@ import spinal.core.formal._
 
 // 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 {
+object MyTopLevelFormal extends App {
+  FormalConfig
+    .withBMC(10)
+    .doVerify(new Component {
       val dut = FormalDut(new MyTopLevel)
 
       // Ensure the formal test start with a reset
@@ -20,5 +21,4 @@ object MyTopLevelFormal {
       // Check the state initial value and increment
       assert(dut.io.state === past(dut.io.state + U(dut.io.cond0)).init(0))
     })
-  }
 }