权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Formal design method of high-performance VLSI datapaths based on computer algebra

基于计算机代数的高性能VLSI数据通路形式化设计方法

基本信息

批准号：
20700041
负责人：
HOMMA Naofumi
金额：
$ 2.66万
依托单位：
Tohoku University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2008
资助国家：
日本
起止时间：
2008 至 2009
项目状态：
已结题

项目摘要

This research project aimed to develop high-level design methodology for arithmetic algorithms, and developed formal verification method of arithmetic algorithms based on computer algebra and its application to arithmetic module generator. In particular, the newly-developed generator can generate typical operations in security systems such as modular exponentiation operations. The generated algorithms can be verified completely by the formal verification method.

本研究项目旨在开发算术算法的高层设计方法，开发基于计算机代数的算术算法的形式验证方法及其在算术模块生成器中的应用。特别是，新开发的生成器可以生成安全系统中的典型运算，例如模幂运算。生成的算法可以通过形式化验证方法进行完全验证。

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Mechanism behind Information Leakage in Electromagnetic Analysis of Cryptographic Modules

密码模块电磁分析中信息泄露的机制

DOI：
发表时间：
2009
期刊：
影响因子：
0
作者：
T.Sugawara;Y.Hayashi;N.Homma;T.Mizuki;T.Aoki;H.Sone;A.Satoh
通讯作者：
A.Satoh

Side Channel Attack to Magnetic Near Field of Cryptographic LSI and Its Protection by Magnetic Thin Film

密码LSI磁近场的侧信道攻击及其磁性薄膜防护

DOI：
发表时间：
2009
期刊：
Soft Magnetic Materials 19
影响因子：
0
作者：
Masahiro Yamaguchi;Hide Shoichi Kobayashi;Takeshi Sugawara;Naofumi Homma;Akashi Satoh;Takafumi Aoki
通讯作者：
Takafumi Aoki

High-level design of multiple-valued arithmetic circuits based on arithmetic description language

基于算术描述语言的多值运算电路高层设计

DOI：
发表时间：
2008
期刊：
Proceedings of the 37th IEEE International Symposium on Multiple-Valued Logic
影响因子：
0
作者：
沙川貴大;上田正仁;Yuki Watanabe;Yuki Watanabe
通讯作者：
Yuki Watanabe

Multiple-Valued Constant-Power Adder for Cryptographic Processor

用于密码处理器的多值恒功率加法器

DOI：
发表时间：
2009
期刊：
Proceedings of the 39th International Symposium on Multiple Valued Logic
影响因子：
0
作者：
Yuichi Baba;At Naofumi Homma;Takafumi Aoki
通讯作者：
Takafumi Aoki

算術アルゴリズム記述言語に基づく多値論理回路の設計

基于算术算法描述语言的多值逻辑电路设计

DOI：
发表时间：
2008
期刊：
影响因子：
0
作者：
菅野裕揮;宮本龍介;佐藤証;菅野裕揮;渡邉裕樹
通讯作者：
渡邉裕樹

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

HOMMA Naofumi其他文献

運動ってなんだ？: 身体運動による健康維持・増進（生体恒常性維持）の分子基盤

什么是运动？

DOI：
发表时间：
2021
期刊：
影响因子：
0
作者：
ITO Akira;UENO Rei;HOMMA Naofumi;田嶋範之,松本久子,寺田悟,西健太,古郷摩利子,野村奈都子,森本千絵,砂留広伸,長崎忠雄,小熊毅,中塚賀也,村瀬公彦,川口喬久,田原康玄,陳和夫,園村和弘,松田文彦,平井豊博;澤田泰宏
通讯作者：
澤田泰宏

An Algebraic Approach to Verifying Galois-Field Arithmetic Circuits with Multiple-Valued Characteristics

验证具有多值特性的伽罗瓦域算术电路的代数方法

DOI：
10.1587/transinf.2020lop0004
发表时间：
2021
期刊：
IEICE Transactions on Information and Systems
影响因子：
0.7
作者：
ITO Akira;UENO Rei;HOMMA Naofumi
通讯作者：
HOMMA Naofumi

成人発症喘息と血清脂肪酸との関係ながはま疫学研究

成人发病哮喘与血清脂肪酸的关系 Nagahama 流行病学研究

DOI：
发表时间：
2021
期刊：
影响因子：
0
作者：
ITO Akira;UENO Rei;HOMMA Naofumi;田嶋範之,松本久子,寺田悟,西健太,古郷摩利子,野村奈都子,森本千絵,砂留広伸,長崎忠雄,小熊毅,中塚賀也,村瀬公彦,川口喬久,田原康玄,陳和夫,園村和弘,松田文彦,平井豊博
通讯作者：
田嶋範之,松本久子,寺田悟,西健太,古郷摩利子,野村奈都子,森本千絵,砂留広伸,長崎忠雄,小熊毅,中塚賀也,村瀬公彦,川口喬久,田原康玄,陳和夫,園村和弘,松田文彦,平井豊博