使用准确的疾病预防控制中心分析约束和减少需要豁免没有手动检查。
芯片变得更大、更复杂,门数和量的嵌入式内存大幅增长。时钟域的数量也不断增加。几十个不同的时钟是常见的在今天的芯片,设计一些有一千多个域。爆炸有几种原因:
这些时钟是异步的。这给开发团队的灵活性,但它介绍了时钟域跨越的挑战(CDC)设计和验证。疾控中心发生在每一个点,一个信号跨越从源时钟域一个独立、异步目的地时钟域。随着并行运行两个钟表,他们边各有不同,有时调整,有时不是。这种变化会导致信号故障和其他严重问题。
最著名的美国疾病控制与预防中心的挑战是亚稳度,信号从源时钟域更改时钟上升沿太接近目的地。目的地触发器可以进入亚稳状态,其输出将需要一些时间来解决高或低价值。结果可以是下游逻辑使用不正确的值。解决这个问题最常用的方法是添加第二个时钟触发器阶段的目的地。亚稳态从两级同步器的概率是非常低的。
数据一致性或收敛性问题也会导致故障。multi-bit疾控中心,由于时钟信号路由延迟变化意味着不同的比特可以捕获目的地时钟的两侧边缘,腐化的价值。格雷编码通常用于解决这个问题。同样,如果两个信号从源域分别同步收敛在目标域,它们可以抵消一个周期。疾控中心也会发生错误复位信号时不同步时钟域的目的地。
从理论上讲,大多数CDC-related问题可以找到详细的代码审查。丢失的某个浏览器,时钟调节逻辑,和灰色的编码器可以被探测到,但手动检查单调乏味,而且容易出错。因此,开发自动化工具检查许多疾病预防控制中心问题。这些检查类似产品毛羽在他们分析设计寄存器传输级(RTL)代码或门电路级网表找到错误。然而,这种分析需要更强大的引擎,可能包括正式的技术。
Synopsys对此VC SpyGlass疾控中心是一个解决方案,消除了老验证流动通过使用约束的局限性产生精确的分析。这个流不需要用户输入超出指定的输入时钟和它们之间的关系。Synopsys对此设计约束署格式是用来提供这些信息,确保非常准确的结果。豁免可用但大多数报道侵犯决心不被其他问题可以消除限制设计。
VC SpyGlass CDC静态跟踪从输入时钟通过整个设计,确定时钟域和域的确定哪些人字拖。从那里,它发现所有疾病预防控制中心和某个浏览器检查。深入的分析使用内部静态和形式验证引擎检测任何违反或重置CDC收敛问题。威尔第自动化调试系统能够高效CDC-aware调试与违反并排查看报告,源代码,生成的图表。
特别是对于初始运行,许多疾病预防控制中心违反可能会报道。放弃大量的侵犯,尤其是通配符,是有风险的。VC SpyGlass CDC使用机器学习和根本原因分析来识别和集群行为类似的资料。因为许多违反只能来自几个设计错误,这个集群可以减少成千上万的违反信息少量用户检查。一旦解决了所有消息,VC SpyGlass疾控中心证明没有剩余的侵犯。
用户有可能错误当指定约束。VC SpyGlass疾控中心有一个独特的方式来验证约束混合流使用Synopsys对此投模拟器。VC SpyGlass疾控中心将约束转化为一个数据库,允许设计师检查以确保假设体现在署不受侵害。生成的文件包含在模拟运行,并报告任何违反。这给了高度的正确性的信心约束。
疾病预防控制中心必须认真设计和验证,避免可能导致芯片的问题。手工设计评审是不切实际的,以上疾病预防控制中心分析工具生成嘈杂的报告,鼓励放弃违反的危险做法。这些担忧Synopsys对此VC SpyGlass疾病预防控制中心地址。使用约束允许更精确的分析和减少需要豁免。全自动流消除手动RTL和署检查。结果是该行业的首映疾控中心解决方案分析和调试。
有关更多信息,下载中心白皮书。
|
|
|
|
|
|
|
|
|
|
留下一个回复