Hi,
I have a module with Assertions outside of my testbench. I pointed to it and added all the signals I need on my top tb file. Now, I need to add functional coverage for these signals and I wanted to ask which is the proper way to do it.
For the rest assertions inside my testbech, I added covergroups in the modules files
Any recommendation?
In reply to dave_59:
Hi Dave, thanks you for reply.
I had to add some modules with assertions for some muxes in my tb, and in the same files I added the covergouprs for the inputs and outputs of these muxes. There is another module with assertions, outside of my testbench and I want to add covergroups. Signals that are used from this module are instantiated in my top tb file, but I am searching which is the best way to add covergroups for these signals