【摘 要】
：
SoC基于事务的验证方法面临的一个重要问题是如何设计验证系统级复杂交互行为的事务测试序列。基于场景的序列图是设计人员捕获系统级功能规约的良好方法。本文提出了一种利
论文部分内容阅读
SoC基于事务的验证方法面临的一个重要问题是如何设计验证系统级复杂交互行为的事务测试序列。基于场景的序列图是设计人员捕获系统级功能规约的良好方法。本文提出了一种利用UML-RT序列图捕获SoC各个IP核之间的通信协作行为,为基于事务的验证建立高层规约,指导系统级测试序列生成的方法。我们自行开发了一个基于构件的事务验证环境SoC-CBTVE,并在该环境中利用本文的方法对一个典型的SoC设计进行了验证和分析。实验结果表明,利用UML-RT序列图能够捕获SoC系统级IP核之间的复杂通信行为,有效支持SoC系统级
其他文献
物权客体特定原则是我国《民法典》物权编规范体系中的基础性原则,无论是物权编中的“物权法定原则”、公示公信原则,还是物权的排他和支配效力,都必须以此为基础。以德国为
鉴于三维地震和高密度二维地震的数据量很大，仍然采用人工方法拾取速度谱，不仅效率低，而且精度低。为此，人们提出许多新的方法，本文采用人工神经网络与模糊数学相结合的方法。首先
本文提出了信号与系统仿真的一个通用框架，该框架充分考虑了系统的可扩展性和可重用性，并用几个Java类对核心模块的一些关键算法进行了设计和封装。然后设计了采样定理仿真的实
安全体系结构集成了软件体系结构与信息安全两大领域的研究，基于进程代数的语言适合描述基于并发交互构件的软件体系结构的一系列重要性质。使用基于进程代数的描述语言对结构
涪陵宏声实业有限责任公司是涪陵烟厂兴办的劳动服务企业。该公司于1996年3月凭借信誉和实力兼并了资不抵债、濒临破产的原涪陵地区茶叶进出口公司(国有外贸企业)。兼并后,企
费米(Fermi)共振是一种分子内部或分子之间的振动耦合和能量转换现象，费米共振不论在物理、化学、材料、生物学还是在医学、地质学、声学、光学领域均有广泛的应用和发展，随着
运用运筹学理论,以射击效率指标为目标函数,建立了空舰导弹的最优火力分配模型并探讨了模型的求解.
实现了在Linux平台下PC机和罗克韦尔PLC的通讯.给出了Linux下串口的配置,分析了DF1协议的数据包封装格式及校验码算法.完成了Linux下PC机对罗克韦尔PLC运行的监控.
1995年初,国务院提出"信息导向、凭证管理、按需流动、全程服务"的流动就业指导思想,全面推行"证卡合一"制度。所谓"证卡合一",是指外出就业人员凭户籍所在地开出的"外出人员
利用有限差分法解程函方程，分别求出震源点及接收到反射界面任意点的初致旅行时，将两者相加，即可得到总旅行时与界面水平坐标关系曲线。由Ｆｅｒｍａｔ原理要，该曲线上的极值点相对应的时间为