Secure Design Flow for Asynchronous Multi-valued Logic Circuits

A. Rafiev, Julian P. Murphy, A. Yakovlev
{"title":"Secure Design Flow for Asynchronous Multi-valued Logic Circuits","authors":"A. Rafiev, Julian P. Murphy, A. Yakovlev","doi":"10.1109/ISMVL.2010.56","DOIUrl":null,"url":null,"abstract":"The purpose of secure devices such as smartcards is to protect secret information against software and hardware attacks. Implementation of the appropriate protection techniques often implies non-standard methods that are not supported by the conventional design tools. In the recent decade the designers of secure devices have been working hard on customising the workflow. The presented research aims to collect the up-to-date experiences in this area and create a generic approach to the secure design flow that can be used as guidance by engineers. In the presented paper the emphasis is put on multi-valued logic synthesis and asynchronous system design. The proposed flow employs the tool based on higher radix and mixed radix Reed-Muller expansions, power-balanced logic component libraries and TiDE design environment. The challenge of the research here is interfacing between different EDA tools and technologies. An example is also presented and described from the view of the system designer.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2010 40th IEEE International Symposium on Multiple-Valued Logic","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL.2010.56","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3

Abstract

The purpose of secure devices such as smartcards is to protect secret information against software and hardware attacks. Implementation of the appropriate protection techniques often implies non-standard methods that are not supported by the conventional design tools. In the recent decade the designers of secure devices have been working hard on customising the workflow. The presented research aims to collect the up-to-date experiences in this area and create a generic approach to the secure design flow that can be used as guidance by engineers. In the presented paper the emphasis is put on multi-valued logic synthesis and asynchronous system design. The proposed flow employs the tool based on higher radix and mixed radix Reed-Muller expansions, power-balanced logic component libraries and TiDE design environment. The challenge of the research here is interfacing between different EDA tools and technologies. An example is also presented and described from the view of the system designer.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
异步多值逻辑电路的安全设计流程
智能卡等安全设备的目的是保护机密信息不受软件和硬件的攻击。适当的保护技术的实现通常意味着常规设计工具不支持的非标准方法。近十年来,安全设备的设计者一直在努力定制工作流程。本研究旨在收集该领域的最新经验,并创建一种通用的安全设计流程方法,可供工程师使用作为指导。本文重点介绍了多值逻辑综合和异步系统设计。该流程采用基于高基数和混合基数Reed-Muller展开、功率平衡逻辑组件库和TiDE设计环境的工具。这里研究的挑战是不同EDA工具和技术之间的接口。并从系统设计者的角度给出了一个实例。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Toffoli Gate Implementation Using the Billiard Ball Model Queries with Multivalued Logic-Based Semantics for Imperfect Information Fusion On the Number of Products to Represent Interval Functions by SOPs with Four-Valued Variables Spectral Techniques: The First Decade of the XXI Century (Invited Paper) Efficient Simulation-Based Debugging of Reversible Logic
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1