使用SystemVerilog的‘覆盖率驱动验证’方法，如何为一个大而复杂的SoC模块（比如一个DDR控制器）定义功能覆盖点（coverpoint）和交叉覆盖（cross）？