【摘 要】
：
交易级建模技术适用于构建大规模电路系统的功能验证平台。结合C＋＋天生的类继承机制和SystemC的接口通道机制,基于该建模技术的ATA控制器验证平台成功实现了随机化的交易级验证
【机 构】
：
中国科学院计算技术研究所系统结构重点实验室,中国科学院研究生院
论文部分内容阅读
交易级建模技术适用于构建大规模电路系统的功能验证平台。结合C＋＋天生的类继承机制和SystemC的接口通道机制,基于该建模技术的ATA控制器验证平台成功实现了随机化的交易级验证,降低了设计模块间通信的复杂度,结构上具有良好的可扩展性和可重用性。着重阐述该验证平台中抽象通道与适配器的通用设计方法,提出了一种基于面向对象技术的创新的验证平台设计模式,并分析了交易级建模和RTL建模之间的区别以及交易级建模技术在提高验证效率上的优势。
其他文献
为了解决动态故障树研究领域的马尔可夫链状态空间爆炸问题,给出了一个基于同构节点的动态故障树分析方法。为每个节点建立一个对象,识别同构节点,求解时对于同构节点仅计算
针对模型组合中常见的“状态空间爆炸”问题，分析了抽象和组合两种方法各自的优缺点，采用“反例引导的抽象精化”框架和模型检验思想，将抽象和组合结合起来，为模型组合的检验提出
对无线传感器网络节点进行了研究，提出2．4GHz、433MHz双频传感器节点的硬件结构设计。双频无线传感器节点既可工作于2．4GHz基于ZigBee协议进行短距离、低功耗通讯，也可工作于433M
建立了一个异构分布式系统实时调度模型,对异构分布式系统中的任务及不同处理机资源进行了形式化描述。结合基版本/副版本技术,给出了用于异构分布式系统的实时任务轮转式容
为了解决传统嵌入式数控系统开发中出现的各种问题,提出并实现了一种嵌入式数控系统模型驱动开发方法,该方法以模型为中心,主要包括领域建模语言构建、模型转换、代码自动生
配置有限数量的波长转换器使网络阻塞率最低,是全光网络中需要解决的一个关键问题。通过考虑网络的直径、中心以及节点和链路的通信量,采用网络分解和迭代的方法,提出树形网