级验证相关论文
10月30日，中国医科大学附属盛京医院官方网站发布消息称，该院顺利通过了国家卫生计生委医院管理研究所认证的唯一的“电子病历系统功......
本文主要介绍了一款自主研发的基于SPARC V8的高可靠性SOC芯片的架构设计与仿真验证方法.针对应用于恶劣场景的工业控制SOC芯片在......
本文设计实现了一种主处理器-协处理器测试系统，并对“腾越-II”微处理器进行了测试验证。该系统由ARM 板、腾越-II 测试板、PC 组......
硬盘数据的安全性日益受到人们的关注。本文描述了一种基于Xilinx Virtex-5 FPGA的SATA Ⅱ接口加密芯片的物理层实现方法，对其主要......
为了防御分布式拒绝服务攻击(DDOS),将数字签名机制和基于信任的验证相结合,提出了分级验证防御DDOS攻击的体系.该体系使这两种验......
动作语义是UML一个新的组成部分,是精确说明模型动态行为的基础.具备精确动作说明的UML模型可进行模型级验证和执行,符合模型驱动......
