Verification / Test Coverage

Hi there!

How do you collect coverage numbers for your test set / testbench environment? I had a brief look at your testbench, but I'm sadly not familiar with Bluespec Verilog and didn't quite know where to go.

I'm working on my own core at the moment, and I can't find anyone who reports (or possibly even collects) things like coverage numbers for their verification.

Cheers,
Ben