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 条
  • [1] A DISTRIBUTED MODELING APPROACH FOR SIMULATION AND VERIFICATION OF DIGITAL DESIGNS
    GHOSH, S
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS, 1987, 34 (10): : 1171 - 1181
  • [2] Pretend Synchrony Synchronous Verification of Asynchronous Distributed Programs
    Gleissenthall, Klaus, V
    Kici, Rami Gokhan
    Bakst, Alexander
    Stefan, Deian
    Jhala, Ranjit
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3
  • [3] Testing of asynchronous designs by "inappropriate" means. Synchronous approach
    Kondratyev, A
    Sorensen, L
    Streich, A
    ASYNC: EIGHTH INTERNATIONAL SYMPOSIUM ON ASYNCHRONOUS CIRCUITS AND SYSTEMS, PROCEEDINGS, 2002, : 171 - 180
  • [4] An approach to synthesis of mixed synchronous/asynchronous digital devices
    Sudnitson, A
    2002 23RD INTERNATIONAL CONFERENCE ON MICROELECTRONICS, VOLS 1 AND 2, PROCEEDINGS, 2002, : 695 - 698
  • [5] Timing verification for asynchronous design
    Davies, RM
    Woods, JV
    EURO-DAC '96 - EUROPEAN DESIGN AUTOMATION CONFERENCE WITH EURO-VHDL '96 AND EXHIBITION, PROCEEDINGS, 1996, : 78 - 83
  • [6] Convert asynchronous designs to synchronous equivalents
    Wilner, C
    ELECTRONIC DESIGN, 1998, 46 (16) : 81 - +
  • [7] AN EXERCISE IN THE AUTOMATIC VERIFICATION OF ASYNCHRONOUS DESIGNS
    BAILEY, A
    MCCASKILL, GA
    MILNE, GJ
    FORMAL METHODS IN SYSTEM DESIGN, 1994, 4 (03) : 213 - 242
  • [8] A mixed synchronous-asynchronous approach for digital signal processing
    Galinec, D
    Dekeyser, JL
    Marquet, P
    ICSP '96 - 1996 3RD INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING, PROCEEDINGS, VOLS I AND II, 1996, : 158 - 161
  • [9] Synchronous and asynchronous distributed DSP education
    Hayes, MH
    Jackson, JR
    DSP 2002: 14TH INTERNATIONAL CONFERENCE ON DIGITAL SIGNAL PROCESSING PROCEEDINGS, VOLS 1 AND 2, 2002, : 1247 - 1251
  • [10] On synchronous and asynchronous interaction in distributed systems
    van Glabbeek, Rob
    Goltz, Ursula
    Schicke, Jens-Wolfhard
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2008, PROCEEDINGS, 2008, 5162 : 16 - +
12345