Any chance of having formal engines support? :)

[Gustavo Dessbesell]

Hi, EDA Playground owners.

Has the possibility of enabling formal engines on EDA Playground been ever considered? 

I know Formal Apps are now "stealing the scene" (since they automatically generate the assertions), but it'd be very useful to be able to exercise handycrafted assertions using a plain formal engine, so more people (like me) could educate themselves on formal verification technology.

Thanks a lot!

Gustavo

[EDA Playground]

It's not beyond the realms of possibility...

[Gustavo Dessbesell]

Hi.
Any update on this topic?

Thanks!
Gustavo