Diagnosis of Faults in Template-Based Asynchronous Circuits

被引:2
|
作者
Ghavami, Behnam [1 ]
Zarandi, Hamid-Reza [1 ]
Salarpour, Arezoo [2 ]
Pedram, Hossein [1 ]
机构
[1] Amirkabir Univ Technol, Dept Comp Engn & Informat Technol, Tehran, Iran
[2] Univ Sci & Technol, Dept Comp Engn, Tehran, Iran
关键词
D O I
10.1109/SOCC.2009.5335682
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
This paper presents an intrinsically verifiable library of Quasi Delay Insensitive asynchronous templates providing an efficient debugging platform for large asynchronous circuits. We proposed using State Transition Graph to determining necessary properties which must be checked For every template of a Pre-Charged Full Buffer library, we defined PSL properties which are used as monitors verifying correctness of necessary handshaking protocols between templates under simulation. Experimental results show that with a 8% increase in simulation time, all faults in handshaking protocols can be detected
引用
收藏
页码:38 / +
页数:2
相关论文
共 50 条
  • [21] TEMPLATE-based image retrieval
    Hsieh, JW
    Grimson, WEL
    IEEE INTERNATIONAL CONFERENCE ON MULTIMEDIA AND EXPO, VOL I AND II, PROCEEDINGS, 2002, : 185 - 188
  • [22] Deep Template-Based Watermarking
    Fang, Han
    Chen, Dongdong
    Huang, Qidong
    Zhang, Jie
    Ma, Zehua
    Zhang, Weiming
    Yu, Nenghai
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS FOR VIDEO TECHNOLOGY, 2021, 31 (04) : 1436 - 1451
  • [23] Template-based synthesis of nanomaterials
    Huczko, A
    APPLIED PHYSICS A-MATERIALS SCIENCE & PROCESSING, 2000, 70 (04): : 365 - 376
  • [24] Face recognition is not template-based
    Carbon, CC
    Leder, H
    PERCEPTION, 2004, 33 : 103 - 103
  • [25] A Performance-Constrained Template-Based Layout Retargeting Algorithm for Analog Integrated Circuits
    Liu, Zheng
    Zhang, Lihong
    2010 15TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC 2010), 2010, : 289 - 294
  • [26] Analysis and fast estimation of energy consumption in template based QDI asynchronous circuits
    Ghavami, B.
    Mirza-Aghatabar, M.
    Pedram, H.
    Hessabi, S.
    2007 INTERNATIONAL SYMPOSIUM ON INTEGRATED CIRCUITS, VOLS 1 AND 2, 2007, : 445 - +
  • [27] Hardening techniques against transient faults for asynchronous circuits
    Monnet, Y
    Renaudin, M
    Leveugle, R
    11TH IEEE INTERNATIONAL ON-LINE TESTING SYMPOSIUM, 2005, : 129 - 134
  • [28] Template-based graph registration network for boosting the diagnosis of brain connectivity disorders
    Gurler, Zeynep
    Gharsallaoui, Mohammed Amine
    Rekik, Islem
    COMPUTERIZED MEDICAL IMAGING AND GRAPHICS, 2023, 103
  • [29] POSTERIOR FEATURES FOR TEMPLATE-BASED ASR
    Soldo, Serena
    Magimai-Doss, Mathew
    Pinto, Joel
    Bourlard, Herve
    2011 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, 2011, : 4864 - 4867
  • [30] Template-based prediction of protein function
    Petrey, Donald
    Chen, T. Scott
    Deng, Lei
    Garzon, Jose Ignacio
    Hwang, Howook
    Lasso, Gorka
    Lee, Hunjoong
    Silkov, Antonina
    Honig, Barry
    CURRENT OPINION IN STRUCTURAL BIOLOGY, 2015, 32 : 33 - 38