Overview
As a complement to random test generation, our department has been extremely active in the domain of functional coverage. We support the Meteor tool, which can define coverage models and analyze the related verification progress through multiple types of reports.