HIERARCHICAL TIMING VERIFICATION SYSTEM.

被引：0
|
作者：
Reddi, R. [1 ]
Chen, C. [1 ]
机构：
[1] Sperry Corp, Blue Bell, PA, USA, Sperry Corp, Blue Bell, PA, USA
来源：
| 1600年 / 18期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
INTEGRATED CIRCUITS, VLSI
引用
收藏
相关论文
共 50 条
  • [31] ULTRASONIC FLOW VELOCITY SENSOR BASED ON PICOSECOND TIMING SYSTEM.
    Chande, Pradip K.
    Sharma, P.C.
    IEEE transactions on industrial electronics and control instrumentation, 1986, IE-33 (02): : 162 - 165
  • [32] A Study of Timing Recovery for High Recording Density Tape System.
    Musha, A.
    Shimizu, O.
    Nakamura, Y.
    Okamoto, Y.
    2015 IEEE MAGNETICS CONFERENCE (INTERMAG), 2015,
  • [33] Does a hierarchical timing mechanism exist in the olfactory system?
    Radil, T
    Jirsa, R
    Wysocki, CJ
    MACROMOLECULAR INTERPLAY IN BRAIN ASSOCIATIVE MECHANISMS, 1998, 4 : 111 - 116
  • [34] Hierarchical hybrid systems: Partition deformations and applications to the Acrobot system.
    Lemch, ES
    Caines, PE
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 1998, 1386 : 237 - 252
  • [35] Correctness by construction: Towards verification in hierarchical system development
    Majster-Cederbaum, M
    Salger, F
    SPIN MODEL CHECKING AND SOFTWARE VERIFICATON, 2000, 1885 : 163 - 180
  • [36] STUDY ON HYBRID SWITCH ARCHITECTURE USING HIERARCHICAL MEMORY SYSTEM.
    Ishikawa, Hiroshi
    Kosuge, Yasuharu
    Miyaho, Noriharu
    Electronics and Communications in Japan, Part I: Communications (English translation of Denshi Tsushin Gakkai Ronbunshi), 1986, 69 (01): : 103 - 111
  • [37] Verification of the CNGS timing system using fast diamond detectors
    Jansen, H.
    Sanchez, P. Alvarez
    Pedersen, S. Bart
    Dehning, B.
    Dobos, D.
    Effinger, E.
    Ferrari, A.
    Griesmayer, E.
    Gschwendtner, E.
    Kozsar, I.
    Missiaen, D.
    Pernegger, H.
    Sala, P. R.
    Serrano, J.
    Ward, C.
    JOURNAL OF INSTRUMENTATION, 2013, 8
  • [38] An optical timing verification system for Alcator C-Mod
    Stillerman, J.
    Burke, W.
    Labombard, B.
    FUSION ENGINEERING AND DESIGN, 2010, 85 (3-4) : 367 - 369
  • [39] Structural plasticity of the circadian timing system. An overview from flies to mammals
    Bosler, Olivier
    Girardet, Clemence
    Franc, Jean-Louis
    Becquet, Denis
    Francois-Bellan, Anne-Marie
    FRONTIERS IN NEUROENDOCRINOLOGY, 2015, 38 : 50 - 64
  • [40] Statistical verification of autonomous system controllers under timing uncertainties
    Bineet Ghosh
    Clara Hobbs
    Shengjie Xu
    Don Smith
    James H. Anderson
    P. S. Thiagarajan
    Benjamin Berg
    Parasara Sridhar Duggirala
    Samarjit Chakraborty
    Real-Time Systems, 2024, 60 : 108 - 149
12345