今年的DAC与箭头设备包括一个讨论。他们公司只关注协议贵宾。他们不是一个工具公司(以外,我们会看到,他们的调试助理);他们的贵宾插入任何你的标准工具。
有三个不同的角度他们玩:验证(确保你的设计作品抽象的,之前硅),验证(确保硅作品;他们也包括仿真模型),和调试。
他们的重点是协议抽象:允许验证继续在高级别上,因此设计师可以执行他们的测试和检查结果的协议,而不是在信号电平。这种增强语义智能是他们声称如何区分自己从VIP竞争,说验证可以完成两到三倍相比有竞争力的贵宾。
验证套件包括bus-functional模型(bfm)和测试套件,覆盖面和断言。这些工作在虚拟空间。相比之下,验证套件必须synthesizable——因此可用模拟器。它们包括软件api和功能错误注入。他们的调试器也是protocol-aware,尽管它的独立的贵宾:它适用于任何人的VIP基于模块给调试器协议语义。
深入挖掘一个协议的影响之一是,你偶尔发现模棱两可的标准。当他们找到这些,他们把他们的方向。一方面,他们可能需要构建选项选择的贵宾,这样客户可以选择目的解释。另一方面,他们可以采取模棱两可的标准机构澄清。
调试方面,协议最终被意识不仅仅是将信号合并为更高级的实体。当测试一个给定的协议、信号的具体时间可能会有所不同;正确的实现可能有一些周期级别的变化相对于一个固定的黄金版本。所以他们必须建立在更高级别的元数据,将语义分配给各种事件,事件可以识别和报告。这个工具在事务级别,工作不是在波形水平;他们看着连接波形查看器在未来。
他们的协议范围不同。
- 验证,它们覆盖电平UFS(通用Flash标准)协议,MIPI M-PHY, UniPro, CSI-3协议和USB功率输出和2.0主机/设备的协议。
- 进行验证,它们只覆盖USB 3.0——但他们也声称自己是唯一为USB 3.0提供贵宾。
- 最后,调试器模块支持USB 3.0和2.0;电平UFS;作为PCIe / M-PCIe MIPI UniPro CSI-3, 2,说;和安巴/ ACE / AXI / AHB / APB。
你可以找到更多关于他们网站。