面向SOC芯片的跨时钟域设计和验证

作     者：罗莉 何鸿君 徐炜遐 窦强 LUO Li;HE Hong-jun;XU Wei-xia;DOU Qiang

作者机构：国防科技大学计算机学院长沙410073 

基　　金：863国家专项基金项目(2008AA01A202) 核高基重大专项(2009ZX01028-002-002)资助 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2011年第38卷第9期

页      码：279-281,297页

摘      要：随着高性能、低功耗芯片的发展,多时钟域和跨时钟域(Clock Domain Crossing,CDC)设计越来越多,CDC设计和验证越来越重要。阐述了5种常用的同步器设计模板。验证方法提出了层次化的验证流程:结构化检查,基于断言的验证(assertion-based verification,ABV),对关键模块进行形式化验证。CDC设计应用于研发的一款65nm工艺SOC芯片(最高主频1GHz、10个时钟域设计、多种工作模式),该芯片已流片回来。经测试,芯片的功能正确,说明设计和验证方法是完备的。

主 题 词：跨时钟域设计 基于断言的验证 PSL属性说明语言 符号模型检查 LTL线性时序逻辑 

学科分类：080903[080903] 0809[工学-计算机类] 08[工学] 

核心收录：

D　O　I：10.3969/j.issn.1002-137X.2011.09.067

馆 藏 号：203125578...