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 条

[1] An integrated synthesis system for speed-independent asynchronous circuits
Jou, JM
Chen, RD
Lin, KM
ISCAS '97 - PROCEEDINGS OF 1997 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS I - IV: CIRCUITS AND SYSTEMS IN THE INFORMATION AGE, 1997, : 1600 - 1603
[2] ON THE EXISTENCE OF SPEED-INDEPENDENT CIRCUITS
SEGER, CJ
THEORETICAL COMPUTER SCIENCE, 1991, 86 (02) : 343 - 364
[3] ANALYSIS OF ASYNCHRONOUS LOGIC-CIRCUITS .1. THE PROBLEM OF ACCESSIBILITY AND SPEED-INDEPENDENT CIRCUITS
VARSHAVSKIY, VI
KISHINEVSKIY, MA
TAUBIN, AR
TSIRLIN, BS
ENGINEERING CYBERNETICS, 1982, 20 (03): : 105 - 115
[4] SEMIMODULARITY AND TESTABILITY OF SPEED-INDEPENDENT CIRCUITS
BEEREL, PA
MENG, THY
INTEGRATION-THE VLSI JOURNAL, 1992, 13 (03) : 301 - 322
[5] 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
[6] A region-based theory for state assignment in speed-independent circuits
Cortadella, J
Kishinevsky, M
Kondratyev, A
Lavagno, L
Yakovlev, A
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1997, 16 (08) : 793 - 812
[7] 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
[8] AUTOTESTING SPEED-INDEPENDENT SEQUENTIAL-CIRCUITS
CIOFFI, G
IEEE TRANSACTIONS ON COMPUTERS, 1978, 27 (01) : 90 - 94
[9] 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
[10] Checking combinational equivalence of speed-independent circuits
Beerel, PA
Burch, JR
Meng, TH
FORMAL METHODS IN SYSTEM DESIGN, 1998, 13 (01) : 37 - 85

← 1 2 3 4 5 →