feature request: PSL support for formal verification.

[Martoni]

I tried some Formal verification with chisel-tester2 thanks to @ekiwi help. It works but I wonder if there is a plan to support PSL langage like it's done with GHDL.

PSL is a very comfortable language to describe formal property.

[ekiwi]

We hope to eventually support a PSL like language for writing specifications. It will be a lot of work though and thus there are currently no concrete plans for the near future. I do have two undergraduate students at Berkeley currently exploring this topic, but it is impossible to tell if that project will result in code that will be useful to the community or not.