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


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

Baidu