At ORConf 2024 in Gothenburg, Sweden, Stuart Alldred, Hardware Verification Team Lead at VyperCore, presented a talk titled ‘Buckets of Coverage’.
Bucket, Vypercore's first in-house open-source project, is a python-based functional coverage tool designed to work easily with cocotb(/Forastero). It allows for the easy creation of multiple nested covergroups and coverpoints with a straight forward sampling mechanism. Each coverpoint is a cross of one or more axes, with the ability to modify target hits, illegal or ignore status for each bucket. The data to be covered can be sampled directly from the Design Under Test (DUT), higher levels of abstraction (such as entire CPU pipelines), or even parsing of logs/test output.
Bucket is being actively developed and used by Vypercore for our own IP. It is fully open source and available at github.com/VyperCore/bucket, where you can find further documentation and examples.
Stuart’s talk is available here and the slides are available here
The full conference web page and list of other talks is available here