https://vlsiweb.com/assertions-and-functional-coverage/