冯志华
- 作品数：4 被引量：6H指数：2
- 供职机构：中国航天科工集团公司更多>>
- 发文基金：中国人民解放军总装备部预研基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 固态盘模拟器现状分析
- 2020年
- 通过使用固态盘模拟器对SSD的架构与控制算法进行设计与优化,能够节省大量的时间与经济成本。为评估固态盘模拟器功能与性能,在研究固态盘模拟器架构组成与延迟模型等模型的基础上,选取固态盘随机读写场景,对4种典型开源固态盘模拟器与实际固态盘进行比对实验。实验结果表明,模拟器能够在不同层面模拟固态盘行为,降低固件开发对硬件依赖,减少固态盘设计迭代次数。
- 冯志华安东博鄢军霞李文佳万星
- 关键词：数据存储固态盘模拟器固件
- 基于关联分类的FPGA缺陷检测水平量化方法
- 2019年
- 为客观、全面地量化FPGA缺陷检测水平,并以此实现FPGA测试方检测水平比对,在统一的缺陷分类标准基础上,对面向FPGA缺陷的关联分类技术进行研究,借此建立不同项目间统一的水平量化标准,结合马尔科夫链理论,研究针对检测水平变化趋势的分析方法,给出稳定水平量化方法。结合实例,阐述应用该方法的一般步骤,结果验证了该方法在FPGA缺陷检测水平的量化与对比工作上的可行性与有效性。
- 王志昊冯志华
- 关键词：现场可编程门阵列关联规则马尔科夫链
- 基于PUF的安全固态盘双向认证协议被引量：3
- 2020年
- 针对固态盘数据保护问题,提出一种基于物理不可克隆函数(physical unclonable function,PUF)的固态盘双向认证协议,实现加密固态盘和用户之间的身份认证以及密钥管理。认证协议以盘端PUF模块生成的物理指纹作为最高可信根,采用口令+UKey双认证因子,UKey作为用户身份认证标识和数据密钥载体。使用BAN逻辑和SPIN工具从形式化的角度对提出的协议进行分析和模型检测,分析结果表明,所提协议能够实现有效的双向认证,具备对恶意女仆攻击、中间人攻击、重放攻击、物理探测攻击、侧信道攻击等的抵抗能力。
- 冯志华罗重鄢军霞邓威
- 关键词：身份认证密钥管理BAN逻辑
- SoC多语言协同验证平台技术研究被引量：3
- 2015年
- SoC基于IP设计的特点使验证项目中多语言VIP(Verification IP)协同验证的需求不断增加,给验证工作带来了很大的挑战。为了解决多语言VIP在SoC验证环境灵活重用的问题。提出了一种基于开放的多语言构架库的解决方案,详述了多语言协同验证技术的原理以及验证平台的搭建方法,并通过实例验证了所提方案的有效性和灵活性。
- 王纪冯志华
- 关键词：片上系统
