【摘 要】
：
结合约束随机、覆盖率驱动及断言等多种验证方法,对层次化验证平台的搭建方法进行了研究;以对ARINC629航空数据总线接口控制器的验证过程为例,介绍了基于System Verilog的层
【机 构】
：
中国民航大学天津市民用航空器适航与维修重点实验室,民用飞机模拟飞行国家重点实验室,中国民航大学安全科学与工程学院
论文部分内容阅读
结合约束随机、覆盖率驱动及断言等多种验证方法,对层次化验证平台的搭建方法进行了研究;以对ARINC629航空数据总线接口控制器的验证过程为例,介绍了基于System Verilog的层次化验证平台的搭建过程及其使用方法;根据验证后覆盖率报告,证明各项功能均已达到其设计需求,且实现率为100%;验证结果表明该平台和传统验证方法相比极大地提高了验证效率,平台的搭建方法和结构具有一定的通用性,更改其数据生成模块即可用于其他类似设计的验证。
其他文献
针对数模混合系统的快速诊断维修问题,以数据采集器作为对象,研究典型数模混合系统的可测性设计及评估;文章首先介绍了两种先进的可测性设计技术：边界扫描技术和内建自测试技
针对诊断方案多属性决策模型中的权重确定问题,采用专家评分法和改进AHP法计算主观权重,结合客观熵值权重确定方法,给出基于数学规划模型的主客观权重综合方法,避免主观判断
供热过程存在的大惯性,时变性,滞后性等特性,严重影响了供热过程的控制性能;为了解决上述问题,针对二次网进行了基于温度的流量调节;并且分别针对滞后特性在PID的基础上加入
针对动车组制动系统试验自动化智能化的需求,提出了一种基于流程的动车组制动系统试验方法,将工艺流程编辑和调试运行分开,通过一个通用软件平台加载不同的调试工艺流程完成
针对某铣刨机,研制了无线测控系统,其主要由PLC、通信模块、继电器、触摸屏、路由设备、远程终端等组成;在系统设计中,基于GE ifix环境开发了基于Ethernet的测控软件,解决了
针对以Mifare卡为基础的传统有线RFID系统组网复杂,成本高等问题,采用飞思卡尔2014年最新推向市场的KW01 MCU（集成ARMCortex-M0＋内核与Zigbee Sub-1G无线射频收发器）与射频芯片M
相关文献在对并行实时时钟芯片DS12C887的论述中，大多以基于复杂指令体系结构的MCS～51系列微控制器为例进行说明，且很少涉及对芯片自身特性的测试，不同程度地影响了测控系统设计
针对MEMS加速度传感器只能对单一方向进行标定而不足以实现自动批量化的问题,设计了基于MFC的MEMS加速度传感器翻转实验平台的控制软件;该软件是通过串口与DSP之间按照规定的
在无线传感器网络中,sink节点周围出现的能量空洞问题直接影响着网络的生存寿命.从延长网络生命周期的角度,对网络部署时距离和节点密度等因素进行了研究,设计了一种节点初始
为了促进S1000D规范在装备综合技术保障中的应用,提升技术资料的使用性和经济性,提出了一种将符合S1000D规范的数据模块发布成HTML格式文档的技术;通过分析数据模块的特点和X