【摘 要】
：
在越来越复杂的SoC芯片设计过程中,功能验证已成为芯片设计周期中最主要的瓶颈;采用人工智能算法在功能覆盖率指导下自动生成随机激励的方法已成为该领域的研究热点;针对贝叶
【机 构】
：
重庆邮电大学通信与信息工程学院,重邮信科集团股份有限公司
论文部分内容阅读
在越来越复杂的SoC芯片设计过程中,功能验证已成为芯片设计周期中最主要的瓶颈;采用人工智能算法在功能覆盖率指导下自动生成随机激励的方法已成为该领域的研究热点;针对贝叶斯网络强大的不确定性概率推理和数据分析能力以及事务级验证平台的特点,采用贝叶斯网络来自动分析验证平台中的事务配置参数和功能覆盖率统计数据之间的不确定关系,提出了一种改进的功能覆盖率驱动验证平台;与传统的约束随机验证平台相比,能快速达到覆盖率目标,缩短验证周期。
其他文献
针对无线传感器网络中已有的路由算法的不足，提出了一种基于簇和随机漫步的多路径路由算法；首先，利用改进的基于权值的分簇算法对网络分簇；然后，利用改进的随机漫步算法构建从簇首
设计一种陆地车辆对抗演示系统,该系统主要包括图像采集单元、上位机控制处理平台单元、无线传输单元、驱动控制单元、对抗判决系统单元和敌我识别系统单元;设计中采用4辆车辆(2对2模式)进行对抗实验,实验表明设计的陆地车辆对抗演示系统可以实现对前方环境和对方对阵情况的实时图像获取和处理、显示、无线收发控制、计算、轨迹控制、特征识别、定位、文件管理、数据传输、生命值显示以及声音报警等功能;实验对抗结果:乙方
针对CCBII制动机模块化、层次化和网络化的设计特点，提出了一种基于多层次评估体系和模糊评估方法的制动机状态监控系统；给出了状态监控系统的结构框图，对其中各个部分的设计特
无人机侦察任务中的目标定位，需要高效地获取机载视频数据，并采用实时性鲁棒性较强的目标检测算法；针对上述要求，选择在DirectShow框架下实现具有图像处理功能的自定义转换过滤器
简要介绍了SERCOS总线,详细分析了现有SERCOS总线控制器的架构,提出了基于FPGA的SERCOS-Ⅱ总线从站协议控制器的总体框架设计方案;以Xilinx公司Spartan-3系列FPGA为硬件核心,
在线监测电容型高压设备的介质损耗(简称介损)是判断其绝缘状况的有效手段;为了提高电力系统高压电气设备监测的安全性、可靠性及信息化指标,设计了一种基于新型电容型高压设备介损在线监测系统的现场采样单元(监测终端);针对相对比较法,提出了利用GPS授时实现异地高精度同步采样,并采用GPRS无线网络实现远程控制和通信的相对介损测量方案,系统采用内嵌处理器软核Nios Ⅱ的现场可编程门阵列(FPGA)器件E