SPACE CONTINUOUS TIME SEMICONTINUOUS THEORY OF SPEED-INDEPENDENT ASYNCHRONOUS CIRCUITS

被引：0
|
作者：
KIMURA, I [1 ]
机构：
[1] TOKYO INST TECHNOL,DEPT INFORMATION SCI,MEGURO,TOKYO 152,JAPAN
来源：
INFORMATION AND CONTROL | 1973年 / 22卷 / 04期
关键词：
D O I：
10.1016/S0019-9958(73)90540-8
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：373 / 393
页数：21
相关论文
共 50 条
  • [31] FUNCTIONAL COMPLETENESS IN THE CLASS OF SPEED-INDEPENDENT CIRCUITS .2.
    VARSHAVSKII, VI
    ROZENBLYUM, LY
    TSIRLIN, BS
    CYBERNETICS, 1982, 18 (01): : 100 - 103
  • [32] Supplementary condition for STG-designed speed-independent circuits
    Piguet, C
    ELECTRONICS LETTERS, 1998, 34 (07) : 620 - 622
  • [33] AUTOMATIC VERIFICATION OF SPEED-INDEPENDENT CIRCUITS WITH PETRI NET SPECIFICATIONS
    DILL, DL
    NOWICK, SM
    SPROULL, RF
    PROCEEDINGS - IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN : VLSI IN COMPUTERS & PROCESSORS, 1989, : 212 - 216
  • [34] Partial order based approach to synthesis of speed-independent circuits
    Semenov, A
    Yakovlev, A
    Pastor, E
    Pena, MA
    Lavagno, L
    Cortadella, J
    THIRD INTERNATIONAL SYMPOSIUM ON ADVANCED RESEARCH IN ASYNCHRONOUS CIRCUITS AND SYSTEMS, PROCEEDINGS, 1997, : 254 - 265
  • [35] STG-level decomposition and resynthesis of speed-independent circuits
    Chen, RD
    Jou, JM
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS, 2002, 49 (12) : 1751 - 1763
  • [36] On SAT-Based Model Checking of Speed-Independent Circuits
    Huemer, Florian
    Najvirt, Robert
    Steininger, Andreas
    2022 25TH INTERNATIONAL SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS AND SYSTEMS (DDECS), 2022, : 100 - 105
  • [37] Redressing Timing Issues for Speed-Independent Circuits in Deep Submicron Age
    Li, Yu
    Mak, Terrence
    Yakovlev, Alex
    2011 DESIGN, AUTOMATION & TEST IN EUROPE (DATE), 2011, : 1376 - 1381
  • [38] SPIN-SIM: Logic and fault simulation for speed-independent circuits
    Shi, F
    Makris, Y
    INTERNATIONAL TEST CONFERENCE 2004, PROCEEDINGS, 2004, : 597 - 606
  • [39] Technology mapping of speed-independent circuits based on combinational decomposition and resynthesis
    Cortadella, J
    Kishinevsky, M
    Kondratyev, A
    Lavagno, L
    Yakovlev, A
    EUROPEAN DESIGN & TEST CONFERENCE - ED&TC 97, PROCEEDINGS, 1997, : 98 - 105
  • [40] Exclusion relation of k out of n and the synthesis of speed-independent circuits
    Pereira, A
    Borges, AR
    Ferrari, A
    16TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, SBCCI 2003, PROCEEDINGS, 2003, : 155 - 159
12345