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 条
  • [31] Synchronous and Asynchronous Distributed Computing for Financial Option Pricing
    Garcia, Thierry
    Chau, Ming
    Spiteri, Pierre
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2011, PT II, 2011, 6783 : 664 - 679
  • [32] From asynchronous to synchronous specifications for distributed program synthesis
    Bernet, Julien
    Janin, David
    SOFSEM 2008: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2008, 4910 : 162 - 173
  • [33] Analyzing synchronous and asynchronous parallel distributed genetic algorithms
    Alba, E
    Troya, JM
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2001, 17 (04): : 451 - 465
  • [34] Distributed model predictive control: Synchronous and asynchronous computation
    Camponogara, Eduardo
    Talukdar, Sarosh N.
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2007, 37 (05): : 732 - 745
  • [35] Timing verification and delay test generation for hierarchical designs
    Krishnamachary, A
    Abraham, JA
    Tupuri, RS
    VLSI DESIGN 2001: FOURTEENTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, 2001, : 157 - 162
  • [36] ATPG for timing errors in globally asynchronous locally synchronous systems
    Arekapudi, S
    Xin, F
    Peng, JH
    Harris, IG
    JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 2003, 12 (03) : 305 - 332
  • [37] Modeling and verification of globally asynchronous and locally synchronous ring architectures
    Dasgupta, S
    Yakovlev, A
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2005, : 568 - 569
  • [38] A Theoretical Foundation for Timing Synchronous Systems Using Asynchronous Structures
    Tadros, Ramy N.
    Beerel, Peter A.
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2020, 25 (02)
  • [39] Speed-up of Synchronous and Asynchronous Distributed Genetic Algorithms: A First Common Approach on Multiprocessors
    Abdelbafez, Amr
    Alba, Enrique
    2017 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2017, : 2677 - 2682
  • [40] The transition from asynchronous to synchronous system operation: An approach for distributed fault-tolerant systems
    Steiner, W
    Paulitsch, M
    22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 2002, : 329 - 336
12345