Don't have Telegram yet? Try it now!
https://www.ednasia.com/formal-based-methodology-cuts-digital-design-ip-verification-time/
Formal-based methodology cuts digital design IP verification time