论文部分内容阅读
提出并实现了一种基于E语言和C参考模型的IP功能验证方案。该方案能够自动生成验证向量并自动完成仿真结果的正确性判断，可以解决验证的充分性和验证时间之间的矛盾。使用这种方案可以有效地提高功能验证效率和质量，缩短设计周期，降低设计成本。
基于E语言和C参考模型的IP功能验证方案
【摘 要】
：
提出并实现了一种基于E语言和C参考模型的IP功能验证方案。该方案能够自动生成验证向量并自动完成仿真结果的正确性判断，可以解决验证的充分性和验证时间之间的矛盾。使用这种
【机 构】
：
国防科技大学电子科学与工程学院卫星导航研发中心
【出 处】
：
微计算机信息
【发表日期】
：
2007年04X期
其他文献
利用输入输出线性化的方法，柔性机械臂的模型可分解为两个子系统：输入输出子系统和零动态子系统。输入输出子系统采用模糊控制。通过分析零动态子系统特征值和重新定义的系统输
提出了一种便捷的模糊推理系统在DSP（数字信号处理器）上的实现方法,详述了利用MATLAB的模糊逻辑工具箱对模糊系统建模、算法模拟及在TMS320VC5509系统上的实现过程,对实现中遇
<正>班会课是学生自我教育的平台,是师生情感沟通的桥梁,是建立班风和进行品德教育必不可缺的重要渠道。作为班主任,其中一项重要的工作就是要切实上好班会课,走进学生的心灵
在高端嵌入式平台TITMS320DM642基础上,完成了机器视觉系统的总体设计,具体给出了系统硬件设计和系统软件设计。在PC平台上进行了机器视觉相关算法的验证和实现。以门牌识别
本文针对一种非线性的准小孔弧焊接模型，介绍了一种自适应控制算法。给出了这种算法的具体推导过程。仿真结果验证了算法的有效性。
目的：观察酸牛奶灌肠治疗危重病人抗生素相关性腹泻的疗效。方法：选取在我院重症医学科住院的抗生素相关性腹泻患者50例,按照随机对照原则分为观察组和对照组各25例。观察组给