简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。
简介:本文提出一种可编程扩频时钟发生器采用小数分频锁相环,扩频是以三角波通过∑△调制器调制反馈分频器的方式实现。为了提高宽扩展比,采用一种技术保持三角波在∑△调制器的输入范围内。使用的相位旋转技术由虚拟多相产生方法和相位补偿方法组成。该技术能有效地补偿瞬时时序误差和量化误差。可编程的时钟频率200-800MHz伴随中心和向下扩展(0~10%),RMS周期抖动在输出时钟在800MHz是7ps。测试芯片在40纳米CMOS制造技术提供了输出时钟800MHz时有10%扩张率,在10%扩频比时峰值减少是30分贝。所提出的可编程扩频时钟发生器从1.1V电源消耗5.181mw,设计仅占0.105mm2的面积。