Select the items which could contribute to functional coverage?

正确选项为 A 和 D。功能覆盖率（Functional Coverage）用于衡量验证是否覆盖了设计的关键功能场景。SystemVerilog 提供两种主要机制：一是 cover group（选项 A），通过定义覆盖点、交叉覆盖等来收集覆盖率数据；二是 cover property（选项 D），用于监控属性（property）在仿真期间是否被触发，从而间接反映功能点的覆盖。选项 B 的 SV Assert Property 用于断言检查，验证设计是否满足特定的时序或组合逻辑，但它本身不生成覆盖率信息。选项 C 的 PSL（Property Specification Language）是一种属性规范语言，主要用于断言和形式验证，通常不直接用于功能覆盖率的收集。因此，能够贡献功能覆盖率的只有 cover group 和 cover property。注意：许多资料中将 cover property 视为功能覆盖率的一种实现方式，因为它能捕获属性表达式被满足的次数。而 assert property 虽可配合 cover 使用，但单独使用不产生覆盖率。在实际验证中，cover group 更为灵活常用，但 cover property 也属于功能覆盖率范畴。