> SiFive was working on CoC (theorum prover) extensions to validate designs using formal methods. THAT sounds fascinating, but I'm not sure how they would monetize it.

Synopsys seems to think it's a decent business to be in. :)

https://www.synopsys.com/verification/static-and-formal-veri...