A DISTRIBUTED APPROACH TO TIMING VERIFICATION OF SYNCHRONOUS AND ASYNCHRONOUS DIGITAL DESIGNS

被引：1
|
作者：
GHOSH, S
机构：
[1] STANFORD UNIV,COMP SYST LAB,STANFORD,CA 94305
[2] BELL LABS RES,KNOWLEDGE SYST RES DEPT,HOLMDEL,NJ 07733
来源：
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS | 1987年 / 6卷 / 04期
关键词：
D O I：
10.1109/TCAD.1987.1270312
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：666 / 677
页数：12
相关论文
共 50 条
  • [11] Synchronous to asynchronous conversion of digital circuits
    Cassia, Ricardo
    Franca, Felipe
    Alves, Vladimir
    PRIME 2006: 2ND CONFERENCE ON PH.D. RESEARCH IN MICROELECTRONIC AND ELECTRONICS, PROCEEDINGS, 2006, : 365 - +
  • [12] An approach for reducing dynamic power consumption in synchronous sequential digital designs
    Chabini, N
    Wolf, W
    ASP-DAC 2004: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, 2004, : 198 - 204
  • [13] How to build fast muscles: Synchronous and asynchronous designs
    Syme, DA
    Josephson, RK
    INTEGRATIVE AND COMPARATIVE BIOLOGY, 2002, 42 (04) : 762 - 770
  • [14] State Space Reductions for Scalable Verification of Asynchronous Designs
    Yao, Haiqiong
    Zheng, Hao
    Myers, Chris J.
    2010 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP (HLDVT), 2010, : 17 - 24
  • [15] EFFICIENCY OF SYNCHRONOUS VERSUS ASYNCHRONOUS DISTRIBUTED SYSTEMS
    ARJOMANDI, E
    FISCHER, MJ
    LYNCH, NA
    JOURNAL OF THE ACM, 1983, 30 (03) : 449 - 456
  • [16] TIMING VERIFICATION FOR SYSTEM-LEVEL DESIGNS
    CHIANG, M
    BLOOM, M
    VLSI SYSTEMS DESIGN, 1987, 8 (13): : 46 - +
  • [17] GENERATING INTERACTING SYNCHRONOUS AND ASYNCHRONOUS DESIGNS FROM SIMULINK DESCRIPTIONS
    Tranchero, Maurizio
    Reyneri, Leonardo M.
    IEEE INTERNATIONAL SOC CONFERENCE, PROCEEDINGS, 2009, : 403 - 406
  • [18] From synchronous to asynchronous: an automatic approach
    Cortadella, J
    Kondratyev, A
    Lavagno, L
    Lwin, K
    Sotiriou, C
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2004, : 1368 - 1369
  • [19] A framework for modeling the distributed deployment of synchronous designs
    Carloni, Luca P.
    Sangiovanni-Vincentelli, Alberto L.
    FORMAL METHODS IN SYSTEM DESIGN, 2006, 28 (02) : 93 - 110
  • [20] Designs for Synchronous Data Acquisition of a Distributed System
    Tian, Z. X.
    Yu, F.
    Liu, Z. W.
    MEASUREMENT TECHNOLOGY AND ITS APPLICATION, PTS 1 AND 2, 2013, 239-240 : 869 - +
12345