Email Record: SystemVerilog assertions and functional coverage :