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 条
  • [21] A Framework for Modeling the Distributed Deployment of Synchronous Designs
    Luca P. Carloni
    Alberto L. Sangiovanni-Vincentelli
    [J]. Formal Methods in System Design, 2006, 28 : 93 - 110
  • [22] OPTIMISED ASYNCHRONOUS TIMING FOR SUPERCONDUCTIVE DIGITAL CIRCUITS
    Gerber, H. R.
    Fourie, C. J.
    Perold, W. J.
    [J]. SAIEE AFRICA RESEARCH JOURNAL, 2006, 97 (03): : 255 - 260
  • [23] Fully digital asynchronous symbol timing recovery in digital receiver
    Song, XH
    Wang, G
    Song, XF
    [J]. 2004 3RD INTERNATIONAL CONFERENCE ON COMPUTATIONAL ELECTROMAGNETICS AND ITS APPLICATIONS, PROCEEDINGS, 2004, : 320 - 323
  • [24] An A-FPGA Architecture for Relative Timing Based Asynchronous Designs
    Manoranjan, Jotham Vaddaboina
    Stevens, Kenneth S.
    [J]. 2014 INTERNATIONAL CONFERENCE ON RECONFIGURABLE COMPUTING AND FPGAS (RECONFIG), 2014,
  • [25] SYNCHRONOUS VERSUS ASYNCHRONOUS DYNAMICS IN SPATIALLY DISTRIBUTED SYSTEMS
    LUMER, ED
    NICOLIS, G
    [J]. PHYSICA D, 1994, 71 (04): : 440 - 452
  • [26] Compositional Reachability Analysis for Efficient Modular Verification of Asynchronous Designs
    Zheng, Hao
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2010, 29 (03) : 329 - 340
  • [27] A Coordinated Reachability Analysis Method for Modular Verification of Asynchronous Designs
    Zheng, Hao
    [J]. 2009 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP, 2009, : 130 - 137
  • [28] A Distributed Timing Analysis Framework for Large Designs
    Huang, Tsung-Wei
    Wong, Martin D. F.
    Sinha, Debjit
    Kalafala, Kerim
    Venkateswaran, Natesan
    [J]. 2016 ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2016,
  • [29] EFFICIENCY OF SYNCHRONOUS VERSUS ASYNCHRONOUS DISTRIBUTED SYSTEMS.
    Arjomandi, Eshrat
    Fischer, Michael J.
    Lynch, Nancy A.
    [J]. Journal of the ACM, 1983, 30 (03): : 449 - 456
  • [30] Synchronous and Asynchronous Distributed Computing for Financial Option Pricing
    Garcia, Thierry
    Chau, Ming
    Spiteri, Pierre
    [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2011, PT II, 2011, 6783 : 664 - 679
12345