https://vlsiweb.com/assertion-debugging-and-coverage-analysis/