ANALYSIS AND IDENTIFICATION OF SPEED-INDEPENDENT CIRCUITS ON AN EVENT MODEL

被引：7
|
作者：
KISHINEVSKY, M
KONDRATYEV, A
TAUBIN, A
VARSHAVSKY, V
机构：
[1] RES & DEV COOP TRASSA,ST PETERSBURG,RUSSIA
[2] TECH UNIV DENMARK,DK-2800 LYNGBY,DENMARK
[3] UNIV AIZU,AIZU,JAPAN
来源：
FORMAL METHODS IN SYSTEM DESIGN | 1994年 / 4卷 / 01期
关键词：
SPEED-INDEPENDENT CIRCUITS; DELAY-INSENSITIVE CIRCUITS; EVENT MODELS; SIGNAL GRAPH; ANALYSIS; IDENTIFICATION; VERIFICATION;
D O I：
10.1007/BF01383956
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The object of this article is the analysis of asynchronous circuits for speed independence or delay insensitivity. The circuits are specified as a netlist of logic functions describing the components. The analysis is based on a derivation of an event specification of the circuit behavior in a form of a signal graph. Signal graphs can be viewed either as a formalization of timing diagrams, or as a signal interpreted version of marked graphs (a subclass of Petri nets). The main advantage of this method is that a state explosion is avoided. A restoration of an event specification of a circuit also helps to solve the behavior identification problem, i.e., to compare the obtained specification with the desired specification. We illustrate the method by means of some examples.
引用
收藏
页码：33 / 75
页数：43
相关论文
共 50 条
  • [41] SPACE CONTINUOUS TIME SEMICONTINUOUS THEORY OF SPEED-INDEPENDENT ASYNCHRONOUS CIRCUITS
    KIMURA, I
    INFORMATION AND CONTROL, 1973, 22 (04): : 373 - 393
  • [42] Synthesis of speed-independent circuits from STG-unfolding segment
    Semenov, A
    Yakovlev, A
    Pastor, E
    Pena, MA
    Cortadella, J
    DESIGN AUTOMATION CONFERENCE - PROCEEDINGS 1997, 1997, : 16 - 21
  • [43] Translating concurrent programs into speed-independent circuits through Petri net transformations
    Yoo, DH
    Lee, DI
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2000, E83A (11) : 2203 - 2211
  • [44] SPIN-TEST: Automatic test pattern generation for speed-independent circuits
    Shi, F
    Makris, Y
    ICCAD-2004: INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, IEEE/ACM DIGEST OF TECHNICAL PAPERS, 2004, : 903 - 908
  • [45] Switching activity modeling of multi-rail speed-independent circuits - A probabilistic approach
    Jia, D
    Yuan, JS
    Hagedorn, M
    2002 45TH MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL I, CONFERENCE PROCEEDINGS, 2002, : 475 - 478
  • [46] Cell Library for Speed-Independent VLSI
    Stepchenkov, Y. A.
    Zakharov, V. N.
    Diachenko, Y. G.
    Morozov, N. V.
    Stepchenkov, D. Y.
    PROCEEDINGS OF 2015 IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS), 2015,
  • [47] Speed-Independent Floating Point Coprocessor
    Stepchenkov, Y. A.
    Zakharov, V. N.
    Rogdestvenski, Y. V.
    Diachenko, Y. G.
    Morozov, N. V.
    Stepchenkov, D. Y.
    PROCEEDINGS OF 2015 IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS), 2015,
  • [48] TOWARDS A THEORY OF UNIVERSAL SPEED-INDEPENDENT MODULES
    KELLER, RM
    IEEE TRANSACTIONS ON COMPUTERS, 1974, C 23 (01) : 21 - 33
  • [49] Simple pendulum with speed-independent bearing friction
    Mungan, Carl E.
    Lipscombe, Trevor C.
    EUROPEAN JOURNAL OF PHYSICS, 2022, 43 (04)
  • [50] Avoiding hazards for speed-independent logic design
    Lemberski, Igor
    WORLD CONGRESS ON ENGINEERING 2007, VOLS 1 AND 2, 2007, : 274 - 278
12345