-
题名总线功能模型在集成电路功能验证中的设计和应用
被引量：12
- 1
-
-
作者
杜旭
夏晓菲
赵宇
-
机构
华中科技大学电子与信息工程系
-
出处
《微电子学与计算机》
CSCD
北大核心
2004年第5期130-133,共4页
-
基金
基与美国combrio公司合作项目
-
文摘
随着集成电路的设计规模不断增大,功能验证逐渐成为整个设计过程中的瓶颈。文章在对传统的验证方法进行分析的基础上,介绍了使用总线功能模型的验证方法,并对总线功能模型设计的策略和方法进行了探讨。
-
关键词
总线功能模型
验证
DUT
BFL
-
Keywords
BFM,verification,DUT,BFL
-
分类号
TN407
[电子电信—微电子学与固体电子学]
-
-
题名ASIC系统中跨时钟域配置模块的设计与实现
被引量：5
- 2
-
-
作者
杜旭
左剑
夏晓菲
何建华
-
机构
华中科技大学电子与信息工程系
-
出处
《微电子学与计算机》
CSCD
北大核心
2004年第6期173-177,共5页
-
文摘
本文概述了ASIC系统中跨时钟域配置模块的多种设计方案以及实现方法,并且着重对分析由于跨时钟域带来的异步时钟问题进行了分析,提出了避免“潜在逻辑错误”发生的解决方案。同时研究了设计方案对后端实现中可能出现的影响,避免了不合理的前端设计给后端实现带来的困难。
-
关键词
ASIC
跨时钟域
异步时钟
亚稳态
自清零寄存器
-
Keywords
ASIC, Cross Clock Domain, Asynchronous Clock, Metastability, Auto Clear Register
-
分类号
TN492
[电子电信—微电子学与固体电子学]
-
-
题名一种基于ATPG的ASIC前端验证环境的构建
- 3
-
-
作者
程文青
赵宇
夏晓菲
-
机构
华中科技大学电子与信息工程系
-
出处
《微电子学与计算机》
CSCD
北大核心
2004年第6期190-193,共4页
-
基金
美国combrio公司合作的"同步光纤网络(SONET)数据报文监控/分类系统(POSMonitor)"。
-
文摘
文章提出了一种基于自动测试向量生成(ATPG)的ASIC前端验证环境的构建方案,方案整合C,TCL和Ver鄄ilogHDL语言,有着良好的实用性和可扩展性。同时通过使用此验证环境,成功开发并流片成功三块总计约200万门的ASIC芯片。
-
关键词
专用集成电路
前端验证
总线功能模型
-
Keywords
Application Specific Integrated Circuit, Front End Verification, Bus Function Module
-
分类号
TN4
[电子电信—微电子学与固体电子学]
-
