课题基金 / 基金详情

Development of formal design methodology for VLSI datapaths based on Galois-field arithmetic operations

Development of formal design methodology for VLSI datapaths based on Galois-field arithmetic operations
基于伽罗瓦域算术运算的 VLSI 数据路径形式化设计方法的开发
批准号：
25240006
负责人：
Homma Naofumi
金额：
$20.63万
依托单位：
Tohoku University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (A)
财政年份：
2013
资助国家：
日本
项目状态：
已结题
起止时间：
2013-04-01 至 2017-03-31
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-25240006/
关键词：
計算機システムLSI設計技術ハードウェアセキュリティシステムオンチップVLSI設計技術算術演算回路ガロア体

项目摘要

项目成果

Homma Naofumi的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(43)
专著(0)
科研奖励(0)
会议论文
誤り訂正符号化回路の形式的設計とその評価
纠错编码电路的形式化设计及其评估
DOI： --
发表时间：
期刊：
影响因子： --
作者： [品川有輝, 森嶋厚行, 中村聡史, 寺田努, 上野嶺]
通讯作者： 上野嶺
Formal Design of Arithmetic Circuits over Galois Fields Based on Normal Basis Representations
基于正规基表示的伽罗瓦域算术电路的形式化设计
DOI： 10.1587/transinf.2013lop0012
发表时间： 2014
期刊： IEICE Transactions on Information and Systems
影响因子： 0.7
作者： [Kotaro Okamoto, Naofumi Homma, and Takafumi Aoki]
通讯作者： and Takafumi Aoki
Special Issue on Emerging Topics in Multiple-Valued Logic and Applications, IEEE Journal on Emerging and Selected Topics in Circuits and Systems
多值逻辑和应用中的新兴主题特刊，IEEE 电路和系统中的新兴和选定主题期刊
DOI： --
发表时间： 2016
期刊：
影响因子： --
作者： [Vincent Gaudet, Jon T. Butler, Robert Wille, and Naofumi Homma]
通讯作者： and Naofumi Homma
System for Automatic Generation of Parallel Multipliers over Galois Field
伽罗瓦域上并行乘法器自动生成系统
DOI： 10.1109/ismvl.2015.15
发表时间： 2015
期刊： IEEE 45th International Symposium on Multiple-Valued Logic
影响因子： --
作者： [Yukihisa Sugawara, Rei Ueno, Naofumi Homma, and Takafumi Aoki]
通讯作者： and Takafumi Aoki
共 48 条
    Development of high-level design methodology for security hardware based on redundant Galois-field arithmetic
    • 批准号：
      17H00729
    • 项目类别：
      Grant-in-Aid for Scientific Research (A)
    • 资助金额：
      $27.21万
    • 财政年份：
      2017
    • 负责人：
      Homma Naofumi
    • 依托单位：
      Tohoku University
    Development of constitution method for instruction sequence against cyber-physical cooperative attacks on embedded systems
    • 批准号：
      16K12436
    • 项目类别：
      Grant-in-Aid for Challenging Exploratory Research
    • 资助金额：
      $2.16万
    • 财政年份：
      2016
    • 负责人：
      Homma Naofumi
    • 依托单位：
      Tohoku University
    Development of formal design methodology for VLSI datapaths based on Galois-field arithmetic operations(Fostering Joint International Research)
    • 批准号：
      15KK0001
    • 项目类别：
      Fund for the Promotion of Joint International Research (Fostering Joint International Research)
    • 资助金额：
      $9.24万
    • 财政年份：
      2016
    • 负责人：
      Homma Naofumi
    • 依托单位：
      Tohoku University