您的位置： 专家智库 > >

陈钢

作品数：3 被引量：15H指数：1
供职机构：北京京航计算通讯研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇专利
  • 1篇期刊文章

领域

  • 1篇自动化与计算...

主题

  • 2篇逻辑单元
  • 2篇解密技术
  • 2篇寄存器
  • 2篇加密
  • 2篇加密解密
  • 2篇变址寄存器
  • 2篇程序块
  • 2篇处理器
  • 1篇形式化
  • 1篇形式化方法
  • 1篇形式化验证
  • 1篇形式化验证方...
  • 1篇逻辑系统
  • 1篇基于逻辑

机构

  • 3篇北京京航计算...
  • 1篇北京大学
  • 1篇哈尔滨工业大...

作者

  • 3篇陈钢
  • 2篇李娜
  • 2篇王颖
  • 2篇闫昆
  • 2篇魏伟波
  • 2篇魏鑫
  • 1篇裘宗燕
  • 1篇王颖
  • 1篇于林宇

传媒

  • 1篇北京大学学报...

年份

  • 1篇2019
  • 1篇2017
  • 1篇2016
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
一种用于加密解密的方法和处理器
本发明实施例公开的用于加密解密的方法和处理器，涉及加密解密技术，有效减少AES在FPGA的实现中占用的逻辑单元数。把输入数据存放在输入数据寄存器中，更新数据存储地址addr＝addr1+addr8；如循环计数器小于该指令...
陈钢闫昆李娜魏伟波魏鑫张志刚王杰王颖舒毅吕宗辉于润泽
文献传递
基于逻辑的形式化验证方法:进展及应用被引量：15
2016年
近年来,形式化方法发展很快,一些技术已经产生工业应用。以逻辑系统为主线,分析几个影响力比较大的形式化验证技术和验证工具,以帮助应用工程师选择并使用形式化工具。主要包括命题演算和时态逻辑方面的SAT、BDD、模型检测和SMT,谓词逻辑方面的ACL2、VDM方法和B方法,以及高阶逻辑方面的HOL、PVS和COQ。还介绍形式化方法在学术界和工业界的应用情况,最后给出几个商业化的形式化验证工具。
陈钢于林宇裘宗燕王颖
关键词：形式化方法逻辑系统
一种用于加密解密的方法和处理器
本发明实施例公开的用于加密解密的方法和处理器，涉及加密解密技术，有效减少AES在FPGA的实现中占用的逻辑单元数。把输入数据存放在输入数据寄存器中，更新数据存储地址addr＝addr1+addr8；如循环计数器小于该指令...
陈钢闫昆李娜魏伟波魏鑫张志刚王杰王颖舒毅吕宗辉于润泽
文献传递
全选 清除 导出
共1页<1>
聚类工具0