Mentor协助Sun验证UltraSPARC T1处理器

　　Mentor Graphics表示，Sun公司已运用Mentor的0-In CDC(Clock-Domain Crossing)技术设计出UltraSPARC T1处理器。该处理器内含8个内核，能同时支持32组执行绪的64位处理器设计，采用了该公司的CoolThreads技术，并包含开放原始码的硬件和软件规格。

    Sun表示，该公司创新的多时钟架构使处理器设计拥有高效能和低耗电，这主要是透过高速交叉开关(crossbar switch)让速度相对较慢的内核共享内建内存控制器和I/O子系统以减少内存延迟时间和耗电并提高产出。而Sun选择0-In CDC技术是因为它能检查比例式同步时钟(ratioed synchronous clock)和lock-up锁存器(lock-up latch)以及异步时钟。

    Sun曾考虑过不同的方法来解决准稳态(metastability)和其它CDC相关问题，决定使用正规验证技术。他们在评估各种可用技术后选择了Mentor Graphics的0-In CDC解决方案。Mentor与Sun的密切合作确保设计不会发生CDC问题，验证工作也能准时完成。

    UltraSPARC T1共包含数百个比例式同步时钟，即不同频率的同步时钟。比例式同步时钟让内核的移植性更良好，因为设计人员不需要改变内核就能迅速修改内存控制器和I/O子系统以满足新的要求或标准。

    而0-In CDC工具会检查生产测试所使用的lock-up锁存器，这类锁存器是用来将时钟树的某些分支延迟半个周期。时钟域可由使用者定义，故必要时可将时钟A和B设为同一个时钟树的分支，这通常是为了确保扫描链不会因为时钟歪斜而在一个移位周期内跨越多个位。0-In CDC工具能找出时钟域的交界位置，然后检查这些地方是否有lock-up锁存器。