论文部分内容阅读
当今复杂电子系统更倾向于在更高抽象级进行建模一种基于C/C＋＋的硬件描述语言,SystemC语言变得非常重要,在此介绍了SystemC语言的验证库,以及验证库的顶层设计,接口设计。文章在最后的阶段对D触发器进行了基于SystemC的验证平台搭建,进而展现了SystemC在验证上的优势。
一种基于SystemC的D触发器验证平台研究
【摘 要】
：
当今复杂电子系统更倾向于在更高抽象级进行建模一种基于C/C＋＋的硬件描述语言,SystemC语言变得非常重要,在此介绍了SystemC语言的验证库,以及验证库的顶层设计,接口设计。文章
【机 构】
：
解放军理工大学通信工程学院研究生4队,解放军理工大学通信工程学院电信工程系
【出 处】
：
中国新通信
【发表日期】
：
2010年21期
其他文献
经方系指汉代以前经典医药著作中记载的方剂,尤以医圣张仲景的方剂为代表。笔者每览仲景之《伤寒杂病论》,未尝不慨然叹其匠心之独运,用意之深邃。区区姜夏二味药,却因病机的
Hyperbaric oxygen treatment promotes neural stem cell proliferation in the subventricular zone of ne
Hyperbaric oxygen therapy for the treatment of neonatal hypoxic-ischemic brain damage has been used clinically for many years, but its effectiveness remains con
一、系统所实现的功能本套系统是针对广播电视行业技术培训、检验培训效果而开发的。它的开发不但解脱了年复一年的出题工作，而且一次准确录入试题以后就可以反复多次在不同的
神经康复生物学认为：神经具有可塑性和再生性。脑梗死病人发病后应尽早综合治疗，最好在发病6小时内进行积极治疗。从临床资料来看，脑梗死患者生命体征稳定、神志清醒、神经系统
在WCDMA系统中，lub接口是UTRAN（UMTS无线接入网）内的无线接口，用于连接UTRAN中的NodeB和RNC，是NodeB侧承载用户数据的重要接口。本文通过对已有流控算法的分析，研究了基于Iub Bufie
认知无线电是一种用于提高无线电通信频谱利用率的新的智能技术。论文首先简述了认知无线电的背景和概念；然后针对认知无线电分配频谱的功能，使用图论着色模型，详细地对比分布式
本文提出了可重构物流系统的一种新的定义,并在充分考虑移动机器人个体和群体的重构能力的前提下,提出了一种基于图论和谓词逻辑的多机器人可重构物流系统的建模方法.其中,移动机器人本体的结构调整被视为设备级重构,而移动机器人群体的组织以及之间协调策略的调整被视为系统级重构.针对各种工件运输任务,该建模方法有助于选择合适的移动机器人功能模块、或合适的移动机器人个体及相应的合作协调策略,从而实现可重构物流系统
[目的]研究剖宫产后再次足月妊娠的分娩方式。[方法]选取足月妊娠产妇132例为研究对象，所有产妇均具有剖宫产史，对产妇的分娩方式进行回顾性统计，研讨每种分娩方式的临床效果。[
周扬是我国文艺工作领导人,晚年的周扬奏出了华彩乐章.他对自己过去"左"的错误,作了真诚的反省;总结了半个世纪以来特别是新中国成立后思想战线和文艺工作领导中的历史经验教
[目的]比较经腹部超声检查在急诊条件下和普通条件下对急性输尿管结石的检出率。[方法]选取临床可疑急性输尿管结石患者500例,分为两组,每组各250例,第1组在急诊条件下进行超