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 条
  • [21] Hazard-free implementation of speed-independent circuits
    Kondratyev, A
    Kishinevsky, M
    Yakovlev, A
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1998, 17 (09) : 749 - 771
  • [22] Estimation of energy consumption in speed-independent control circuits
    Univ of Southern California, Los Angeles, United States
    IEEE Trans Comput Aided Des Integr Circuits Syst, 6 (672-680):
  • [23] Technology mapping for speed-independent circuits: Decomposition and resynthesis
    Kondratyev, A
    Cortadella, J
    Kishinevsky, M
    Lavagno, L
    Yakovlev, A
    THIRD INTERNATIONAL SYMPOSIUM ON ADVANCED RESEARCH IN ASYNCHRONOUS CIRCUITS AND SYSTEMS, PROCEEDINGS, 1997, : 240 - 253
  • [24] Verification of speed-independent data-path circuits
    Weih, DT
    Greenstreet, MR
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1996, 143 (05): : 295 - 300
  • [25] SPEED-INDEPENDENT GAIT IDENTIFICATION FOR MOBILE DEVICES
    Bailador Del Pozo, Gonzalo
    Sanchez-Avila, Carmen
    De-Santos-Sierra, Alberto
    Guerra-Casanova, Javier
    INTERNATIONAL JOURNAL OF PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE, 2012, 26 (08)
  • [26] SPIN-PAC: Test compaction for speed-independent circuits
    Shi, Feng
    Makris, Yiorgos
    ASP-DAC 2005: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2005, : 71 - 74
  • [27] PRACTICALITY OF STATE-MACHINE VERIFICATION OF SPEED-INDEPENDENT CIRCUITS
    NOWICK, SM
    DILL, DL
    1989 IEEE INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS, 1989, : 266 - 269
  • [28] FUNCTIONAL COMPLETENESS IN THE CLASS OF SPEED-INDEPENDENT CIRCUITS .1.
    VARSHAVSKII, VI
    ROZENBLYUM, LY
    TSIRLIN, BS
    CYBERNETICS, 1981, 17 (02): : 168 - 172
  • [29] FUNCTIONAL COMPLETENESS IN THE CLASS OF SPEED-INDEPENDENT CIRCUITS .2.
    VARSHAVSKII, VI
    ROZENBLYUM, LY
    TSIRLIN, BS
    CYBERNETICS, 1982, 18 (01): : 100 - 103
  • [30] Supplementary condition for STG-designed speed-independent circuits
    Piguet, C
    ELECTRONICS LETTERS, 1998, 34 (07) : 620 - 622
12345