教育论文网

基于遗传算法实现覆盖率驱动的仿真验证技术研究

硕士博士毕业论文站内搜索    
分类1:教育论文网→工业技术论文→自动化技术、计算机技术论文自动化基础理论论文人工智能理论论文
分类2:教育论文网→工业技术论文→无线电电子学、电信技术论文微电子学、集成电路(IC)论文一般性问题论文测试和检验论文
基于遗传算法实现覆盖率驱动的仿真验证技术研究
论文目录
 
致谢第1-5页
摘要第5-6页
Abstract第6-12页
第一章 绪论第12-20页
  · 课题的研究背景及意义第12-13页
  · 验证技术总述第13-16页
    · 静态验证第14-15页
    · 仿真验证第15-16页
    · FPGA验证第16页
  · 遗传算法在仿真验证中的应用第16-19页
    · 仿真验证的不同驱动第16-18页
    · 覆盖率驱动与遗传算法第18-19页
  · 课题内容及安排第19-20页
    · 课题主要内容第19页
    · 论文组织结构第19-20页
第二章 覆盖率驱动的仿真验证系统第20-28页
  · 覆盖率驱动的仿真验证流程第20-21页
  · SystemVerilog和VMM验证方法学第21-23页
    · SystemVerilog简介第21-22页
    · VMM验证方法学第22-23页
  · 覆盖率驱动类型第23-25页
    · 代码覆盖率驱动第24页
    · 功能覆盖率驱动第24-25页
    · 断言和功能覆盖率驱动第25页
  · 覆盖率驱动的随机向量生成技术第25-28页
    · 随机向量生成技术第25-26页
    · 覆盖率驱动与随机向量生成技术第26-28页
第三章 基于简单遗传算法的覆盖率仿真验证第28-40页
  · 基于SGA的仿真验证思想第28-31页
    · SGA算法简介第28-29页
    · SGA嵌入仿真验证的方法第29-30页
    · 验证流程设计第30-31页
  · 编码方式和适应度函数设计第31-34页
    · 编码方式第31-32页
    · 适应度函数第32-34页
  · 遗传策略比较第34-37页
    · 选择策略第34页
    · 交叉策略第34-35页
    · 变异策略第35-37页
  · SGA在验证环境中的实现第37页
  · SGA实验结果与分析第37-39页
    · 个体保留代数第37-38页
    · 不同交叉策略下的仿真时间第38-39页
    · 不同变异策略下的仿真时间第39页
  · 本章小结第39-40页
第四章 遗传算法中的精英策略在仿真验证中的应用第40-51页
  · 简单遗传算法的缺陷第40-41页
    · 海明悬崖第40-41页
    · 早熟现象第41页
  · 遗传算法中的精英个体研究第41-42页
  · 精英策略设计第42-45页
    · 生物界的精英策略提取第42-43页
    · 精英保留第43页
    · 精英交叉第43-44页
    · 适用于仿真验证的精英策略设计第44-45页
  · 精英向量集构建第45-46页
    · 精英向量集的思想第45页
    · 精英向量集的元素第45-46页
    · 精英向量集的结构第46页
  · 自适应的精英交叉概率函数设计第46-47页
  · EGA嵌入仿真验证的方法第47-49页
  · EGA实验结果与分析第49-50页
    · 不同精英向量集下的仿真时间第49页
    · 不同精英交叉概率下的仿真时间第49-50页
  · 本章小节第50-51页
第五章 互相关函数硬件加速器的仿真验证第51-61页
  · 互相关函数硬件加速器简介第51-53页
  · 软件验证第53-56页
    · Matlab与遗传算法第53-54页
    · 交叉概率和变异概率设置第54页
    · 遗传策略选择第54页
    · 实验结果与分析第54-56页
  · 硬件验证第56-59页
    · 场景层设计第56-57页
    · 功能层设计第57-58页
    · 指令层设计第58页
    · 实验结果与分析第58-59页
  · 本章小结第59-61页
第六章 总结与展望第61-63页
参考文献第63-66页
作者简介第66页

本篇论文共66页,点击这进入下载页面
 
更多论文
基于遗传算法实现覆盖率驱动的仿真
一种软硬件结合的控制流错误检测和
基于65 nm CMOS工艺的系统芯片专用
基于FPGA的卷积神经网络加速器
基于工艺偏差的带隙基准电压源设计
基于多位触发器的低功耗技术研究
主动陀螺稳定系统模型的建立及AMD结
正交和非正交传输系统的能量效率
传感器网络中的分布式盲估计问题研
板级电源传输网络的建模研究
基于Android的4G网络移动高清视频监
面向4K的HEVC视频编码及其在高清网
说话人识别情感合成问题的概率模型
基于HDFS的多租户小文件存储系统的
手持移动设备多点触摸手势代替点按
Spark Shuffle的内存调度算法分析及
L-CACHE:一种虚拟化环境下基于SSD
跨数据中心容错的云存储系统
高效的片上Flash加速控制器软硬件设
基于双Kinect的人体运动重建
复杂产品生命周期设计知识大数据集
面向中小无纺布制造企业的质量管理
三维打印模型设计与网络管理平台关
基于三维重建的超高分辨率壁画快速
基于中草药语义网的自动问答系统的
面向专业属性标注的众包平台研发及
基于内存数据库Redis的众包系统性能
基于XMPP协议的移动设备无障碍实时
基于语音提示和文字识别的无障碍移
基于深度神经网络的用户会话推荐算
基于多模态特征的人体运动识别系统
创新设计知识服务系统之商业构成库
半序多孔模型建模与仿真技术研究
基于Spark的数据管理平台的设计与实
基于内容的中草药图像检索关键技术
考古遗址发掘数据分析研究与应用
面向普通用户的若干视频特效研究与
JTChroBase:基于本体的慢病管理知识
数据可视化探索系统的设计和实现
基于中文百科的知识图谱分类体系构
基于深度模型的脱机手写体汉字识别
基于位置的推荐计算:Spark实现
基于3D打印过程的可视化仿真
基于移动轨迹分析的大鼠行为识别研
基于深度学习的重复视频检测
基于卷积神经网络的车脸识别研究
基于机器视觉的大鼠机器人状态检测
基于本体知识库的文物素材智能检索
集成多种附加信息的推荐算法研究
基于图像序列的交互式建模与图像深
Cloud Foundry中Java应用集合类内存
基于Spark的大数据清洗框架设计与实
基于中间模型的仿真数据挖掘关键技
基于深度学习的自然场景文字识别
直接编辑后的特征模型自动更新
面向移动环境的服务提供框架研究与
基于图像的深度获取方法研究
基于大数据的城市防汛决策支持系统
老年人的握力测量软件沉浸式界面设
城市多源异构关联型时空数据的可视
基于卷积神经网络的QR码定位算法研
古诗知识搜索系统的设计和实现
基于图书的概念—描述词知识网络的
基于实体识别的中药不良反应分析系
智能博物馆导览系统的研究与应用
结合前端流程化的三维城区日夜光照
基于云计算的图像序列无损压缩编码
移动3D应用交互模式及设计方法的研
大鼠机器人迷宫实验系统的设计与实
基于卷积神经网络的图像语义分割
基于自适应抽样的分布式跟踪系统设
点阵防伪码的设计与实现
基于WiFi扫描列表的用户生活模式挖
具有高融合度的城市场景移动增强现
普适计算环境下多模态信息融合的活
多光绘制框架下光泽场景的高效绘制
Cloud Foundry应用的Tcp通信的设计
基于中文医疗主诉分析的疾病诊断辅
基于AOP的应用性能管理框架的设计与
基于序列模式挖掘的移动应用使用预
虚实结合网络实验服务端负载均衡的
基于网络的丝绸图案创意系统的设计
面向多重需求的灵活可配的哈希算法
 
集成电路验证论文 覆盖率驱动的仿真验证论文 简单遗传算法论文 精英遗传算法论文
版权申明:目录由用户liufei5**提供,www.51papers.com仅收录目录,作者需要删除这篇论文目录请点击这里
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved