PCMCIA总线功能模型的建立及桥接器软核的验证

发布时间：2020-05-11 18:02

【摘要】： 随着集成电路规模和复杂度的急剧增长,验证已成为当前集成电路设计中最困难、最具挑战的课题。验证的工作量和消耗的资源已占集成电路设计总体工作量和耗费资源的80%以上。但目前,验证方法学发展水平仍滞后于集成电路规模的扩张,成为了集成电路产业发展的瓶颈。因此改进验证方法学以提高验证效率就成为了研究的热点。而提高验证效率也是贯穿本文的主线。 提升验证的抽象层次是提高验证效率最重要的方法。通过提高抽象层次,可以在验证时将关注的重点放在事物级的传输和操作上。这就使得验证工程师在构建验证平台、编写验证激励和观测仿真结果时,都无需花费大量的时间、精力去处理底层信号间繁杂的时序关系。同时将验证中的操作抽象出来,构建出总线功能模型和验证工具箱可以促进验证元件的可重用性。 为了模拟AHB-PC Card桥接器软核的真实工作环境以对其进行验证,本文利用逐层抽象的方法设计出了PC卡的总线功能模型。并在PC卡总线功能模型和AHB Master总线功能模型的基础上,进一步提高抽象级别,构建出了三个层次的验证工具箱。它们使验证人员可以忽略桥接器两侧总线上众多信号复杂的时序,将关注的重点转移到桥的数据传输层面上来。由此简化了验证过程,并使得每条验证用例的激励更复杂,提高了单条验证用例的覆盖率,减少了总体仿真时间。 除提升验证的抽象层次外,本次验证还使用了验证自动化方法、用仿真模型提高验证效率的方法,以及以覆盖率为导向添加验证用例来保证验证充分性的方法。 本文还深入分析了仿真器处理仿真中并行进程的方式及其产生原因。在此基础上,进一步介绍了本次验证构建验证平台时如何避免仿真器的并行处理方式带来的消极影响。验证过程中所作的这些努力均提高了桥接器的验证效率,缩短了研发周期。 本论文用以提高验证效率的方法,同样适用于其他数字集成电路的验证需要。所设计的PC卡总线功能模型和构造的验证工具箱等验证元件具有可重用性,可在其他类似设计的验证中重用。
【图文】：

图 2-1 设计与验证的层次验证主要验证集成电路体系结构是否合理，是否能够通常利用 HDL 语言的行为级描述构建所设计的证对寄存器传输（RTL）级的代码进行，，可分为模块级的验证针对设计的子电路模块，由于各个子模验证平台进行验证，因此模块级的验证由设计该证针对设计好的整个集成电路系统。由于当今集成需要精心设计验证用例，并搭建验证平台进行验件延时的影响，主要关注设计对象的功能是否正

读PC卡CommonMemory空间时序写卡CommonMemory空间的典型时序如图3-2所示
【学位授予单位】：电子科技大学
【学位级别】：硕士
【学位授予年份】：2007
【分类号】：TP336

【参考文献】

相关期刊论文 前5条

1 吴树伟;;基于AMBA架构的SoC芯片验证的方法[J];中国集成电路;2006年07期

2 林文敏,吴涛,沈泊;基于AMBA总线的SoC平台的设计和验证[J];计算机工程与应用;2005年28期

3 解咏梅,张珩,张福新;基于覆盖率的功能验证方法[J];计算机应用研究;2005年01期

4 王晨旭,桑胜田,王进祥,喻明艳,叶以正;AHB-PCI桥的设计及其验证方法[J];微处理机;2004年01期

5 杜旭,夏晓菲,赵宇;总线功能模型在集成电路功能验证中的设计和应用[J];微电子学与计算机;2004年05期

本文编号：2658853