筛查沉默的数据错误


工程师们开始理解沉默的原因数据错误(sd)和数据中心故障原因,这两个可以减少通过增加测试覆盖率和提高检验关键层。沉默的数据错误是如此命名是因为如果工程师不找他们,他们不知道它们的存在。与其他类型的错误行为,这些错误也可以c…»阅读更多

形式验证保证了毅力探测器降落在火星上


乔Hupcey三世和凯文·坎贝尔安全着陆的宇宙飞船在火星是一个复杂的、高风险的挑战。更糟糕的是,地球的大多数科学有趣的地区被巨石守卫,沟渠,高高的悬崖——土地形成不太欢迎车辆。这样的火星探测器着陆地点:毅力Jezero火山口。这不是一个e……»阅读更多

早期发现重置域交叉错误


芯片系统(SoC)设计的许多方面,包括盖茨的数量、记忆,时钟域,重置领域,权力领域,片上总线和外部接口。最近博客专注于重置域交叉(rdc)和有效pre-silicon验证这些隐患的结构要求。如果应用得当,解决方案满足这些需求……»阅读更多

有效的时钟域交叉验证


芯片变得更大、更复杂,门数和量的嵌入式内存大幅增长。时钟域的数量也不断增加。几十个不同的时钟是常见的在今天的芯片,设计一些有一千多个域。爆炸有几种原因:多个外部接口不同的时钟要求地方政府投资公司…»阅读更多

疾控中心动态抖动时钟域交叉(CDC)签收


Himanshu Bhatt和帕拉斯Mal Jain检测和调试深度顺序CDC收敛使用结构性疾病预防控制中心验证是极其困难的,因为做一个平面在大型设计分析能力相关的挑战,即使验证工具可以完成分析,它变成了一场噩梦调试违反与复杂的时序逻辑。因此出现强啡肽的需要……»阅读更多

三个步骤来完成重置行为验证


由克里斯•郭Priya Viswanathan,萍Yeung重置验证架构是出了名的复杂和困难。今天的soc包含高度复杂的重新分布和同步电路。通常,重置树木可以大于时钟树和许多相同的潜在问题。验证设计下能正确重置所有的操作模式,提出了价格…»阅读更多

FPGA和系统设计进入市场的速度利用ASIC-Proven分析工具


增加权力约束导致更细粒度的分区设计成可以有时钟禁用或功能域,更彻底,完全关闭。系统需要自适应管理时钟切换功率降到最低。性能和面积约束导致放弃更为保守的做法赞成更激进的设计;…»阅读更多

天气预报:2018 IC / ASIC验证研究的趋势


诺贝尔奖得主鲍勃·迪伦指出,“你不需要一个天气预报员知道风吹往哪个方向。“同样的,我们可以得到一个感觉,我们的行业是通过思想的流动在会议上,在网上,或者在我们的日常业务。但这只给了我们一个小窗口观察左图是力量非常大的和复杂的,极其动态全球semico…»阅读更多

美国疾病控制与预防中心的问题


规划过程的一部分——254年是知道适当的FPGA的工具和功能,你需要和打算使用你的FPGA设计。特别是如果你的FPGA设备操作与多个异步时钟需要使用先进的验证技术针对异常相关时钟域交叉(疾控中心)。典型的电子设计自动化(EDA)工具f……»阅读更多

Baidu