Secure Design Flow for Asynchronous Multi-Valued Logic Circuits

被引:0
|
作者
Rafiev, Ashur [1 ]
Murphy, Julian P. [1 ]
Yakovlev, Alex [1 ]
机构
[1] Newcastle Univ, Sch Elect Elect & Comp Engn, Newcastle Upon Tyne NE1 7RU, Tyne & Wear, England
关键词
POLARITY; EXPRESSIONS; COMPUTATION;
D O I
10.1109/ISMVL.2010.56
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
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 [1], power-balanced logic component libraries and TiDE design environment [2]. 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.
引用
收藏
页码:264 / 269
页数:6
相关论文
共 50 条
  • [21] A Full-System Approach to Multi-Valued Logic Design
    Gutermann, Annina
    Becker, Juergen
    2024 IEEE 35TH INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC SYSTEMS, ARCHITECTURES AND PROCESSORS, ASAP 2024, 2024, : 226 - 227
  • [22] Modeling multi-valued circuits in SystemC
    Grosse, D
    Fey, G
    Drechsler, R
    33RD INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2003, : 281 - 286
  • [23] Design of a Flash-based Circuit for Multi-valued Logic
    Abusultan, Monther
    Khatri, Sunil P.
    PROCEEDINGS OF THE GREAT LAKES SYMPOSIUM ON VLSI 2017 (GLSVLSI' 17), 2017, : 41 - 46
  • [24] Multi-valued simulation of digital circuits
    Ubar, R
    1997 21ST INTERNATIONAL CONFERENCE ON MICROELECTRONICS - PROCEEDINGS, VOLS 1 AND 2, 1997, : 721 - 724
  • [25] Generating digital circuits tests using multi-valued logic and inductive statements
    Kiev Polytechnical Inst, Kiev, Ukraine
    Engineering Simulation, 1997, 14 (01): : 75 - 82
  • [26] Multi-Valued Logic Circuits Based on Organic Anti-ambipolar Transistors
    Kobashi, Kazuyoshi
    Hayakawa, Ryoma
    Chikyow, Toyohiro
    Wakayama, Yutaka
    NANO LETTERS, 2018, 18 (07) : 4355 - 4359
  • [27] A Sequence of Functions of the Multi-Valued Logic
    Andreev, A. A.
    MOSCOW UNIVERSITY MATHEMATICS BULLETIN, 2011, 66 (06) : 273 - 277
  • [28] Verification of multi-valued logic networks
    Drechsler, R
    1996 26TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 1996, : 10 - 15
  • [29] Bilattices for deductions in multi-valued logic
    Carotenuto, Gemma
    Gerla, Giangiacomo
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2013, 54 (08) : 1066 - 1086
  • [30] On adequate sets of multi-valued logic *
    Cheng, Daizhan
    Feng, Jun-E
    Zhao, Jianli
    Fu, Shihua
    JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2021, 358 (13): : 6705 - 6722