functional coverage sva assertions system verilog
Ver mais