通过Static-Formal-Simulation时钟域交叉审核


由Sudeep Mondal和Sean O脑海孵蛋的问题是最常见的一种原因re-spins昂贵的设计。这是不断增长的需求的驱动因素为时钟域交叉(CDC)分析工具。今天,大多数的IP和SoC团队专注于“结构性疾病预防控制中心”的分析,这是很重要的但不是充分的。结构中心分析确保d…»阅读更多

开裂的螺母用正式的方法


Pranav莎,首席技术官的真实意图,保证一个拥挤的房间里正式的方法在最近的研究者和实践者FMCAD会议:“静态验证用于验证的设计。每一个主要的芯片是使用静态方法今天签字。”他使用类比螺母开裂。”有一个正确的方式和错误的方式,如果你不选择正确的我……»阅读更多

Baidu