Redressing Timing Issues for Speed-Independent Circuits in Deep Submicron Age

被引:0
|
作者
Li, Yu [1 ]
Mak, Terrence [1 ]
Yakovlev, Alex [1 ]
机构
[1] Newcastle Univ, Sch EECE, Newcastle Upon Tyne NE1 7RU, Tyne & Wear, England
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The class of speed independent (SI) circuits opens a promising way towards tolerating process variations. However, the fundamental assumption of speed independent circuits is that forks in some wires (usually, large percentage of wires) in such circuits are isochronic; this assumption is more and more challenged by the shrinking technology. This paper suggests a method to generate the weakest timing constraints for a SI circuit to work correctly under bounded delays in wires. The method works for all SI circuits and the generated timing constraints are significantly weaker than those suggested in the current literature claiming the weakest formally proved conditions.
引用
收藏
页码:1376 / 1381
页数:6
相关论文
共 49 条
  • [1] A Necessary and Sufficient Timing Assumption for Speed-Independent Circuits
    Keller, Sean
    Katelman, Michael
    Martin, Alain J.
    ASYNC: 2009 15TH IEEE INTERNATIONAL SYMPOSIUM ON ASYNCHRONOUS CIRCUITS AND SYSTEMS, 2009, : 58 - +
  • [2] ON THE EXISTENCE OF SPEED-INDEPENDENT CIRCUITS
    SEGER, CJ
    THEORETICAL COMPUTER SCIENCE, 1991, 86 (02) : 343 - 364
  • [3] SEMIMODULARITY AND TESTABILITY OF SPEED-INDEPENDENT CIRCUITS
    BEEREL, PA
    MENG, THY
    INTEGRATION-THE VLSI JOURNAL, 1992, 13 (03) : 301 - 322
  • [4] Logic decomposition of speed-independent circuits
    Kondratyev, A
    Cortadella, J
    Kishinevsky, M
    Lavagno, L
    Yakovlev, A
    PROCEEDINGS OF THE IEEE, 1999, 87 (02) : 347 - 362
  • [5] On synthesis of speed-independent circuits at STG level
    Lin, KJ
    Kuo, CW
    PROCEEDINGS OF THE ASP-DAC '97 - ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE 1997, 1996, : 619 - 624
  • [6] AUTOTESTING SPEED-INDEPENDENT SEQUENTIAL-CIRCUITS
    CIOFFI, G
    IEEE TRANSACTIONS ON COMPUTERS, 1978, 27 (01) : 90 - 94
  • [7] Structural methods for the synthesis of speed-independent circuits
    Pastor, E
    Cortadella, J
    Kondratyev, A
    Roig, O
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1998, 17 (11) : 1108 - 1129
  • [8] Checking combinational equivalence of speed-independent circuits
    Beerel, PA
    Burch, JR
    Meng, TH
    FORMAL METHODS IN SYSTEM DESIGN, 1998, 13 (01) : 37 - 85
  • [9] Structural methods for the synthesis of speed-independent circuits
    Pastor, E
    Cortadella, J
    Kondratyev, A
    Roig, O
    EUROPEAN DESIGN & TEST CONFERENCE 1996 - ED&TC 96, PROCEEDINGS, 1996, : 340 - 347
  • [10] Checking Combinational Equivalence of Speed-Independent Circuits
    Peter A. Beerel
    Jerry R. Burch
    Teresa H. Meng
    Formal Methods in System Design, 1998, 13 : 37 - 85