https://vlsiweb.com/assertion-based-formal-verification/