为了帮助IC验证团队利用符合开放内核协议(Open Core Protocol, OPC)的模块,OPC国际伙伴关系(OCP-IP)已经发布了一组功能覆盖指南作为符合性检查文件的一部分。该指南现在可以提供给OCP-IP成员。
功能覆盖是一种测量由验证测试套件生成的仿真品质的技术。指南帮助确保OCP接口符合现有的OCP 2.1规范,保证IP模块在系统级的兼容性。
“对于从事OCP验证的人来说,确保你的测试已经完全遍历协议是至关重要的,”Synopsys公司工程师兼OCP-IP功能验证工作组主席Steve McMaster说,“指南为实现此目标提供了一个框架,它将指引你实现更为正确和完整的确认。”
在伪随机验证环境中,功能验证显示哪些部分的状态空间已被覆盖或未被覆盖。对于未被覆盖的角落,工程师可以绷紧约束或写详细而精确的定向测试。
功能覆盖指南由OCP-IP功能验证工作组编撰,其成员包括来自Jeda Technologies、MIPS、Sonics、Synopsys、TI、TransEDA和Yogitech的代表。该工作补足了在2005年10月由工作组发布的一组形式符合性检查指南。
OCP-IP成员可以从其网站下载一份符合性检查的文件拷贝。