A DISTRIBUTED MODELING APPROACH FOR SIMULATION AND VERIFICATION OF DIGITAL DESIGNS

被引：0
|
作者：
GHOSH, S
机构：
[1] AT&T BELL LABS,KNOWLEDGE SYST RES DEPT,HOLMDEL,NJ 07733
[2] COMP SYST LAB,STANFORD,CA
[3] CTR INTEGRATED SYST,STANFORD,CA
来源：
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS | 1987年 / 34卷 / 10期
关键词：
D O I：
10.1109/TCS.1987.1086051
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：1171 / 1181
页数：11
相关论文
共 50 条
  • [1] A DISTRIBUTED APPROACH TO TIMING VERIFICATION OF SYNCHRONOUS AND ASYNCHRONOUS DIGITAL DESIGNS
    GHOSH, S
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1987, 6 (04) : 666 - 677
  • [2] A Formal Approach for Modeling and Verification of Distributed Systems
    Ren, Gang
    Deng, Pan
    Yang, Chao
    Zhang, Jianwei
    Hua, Qingsong
    CLOUD COMPUTING (CLOUDCOMP 2015), 2016, 167 : 317 - 322
  • [3] MODELING AND DIGITAL-SIMULATION FOR DESIGN VERIFICATION AND DIAGNOSIS
    SZYGENDA, SA
    THOMPSON, EW
    IEEE TRANSACTIONS ON COMPUTERS, 1976, 25 (12) : 1242 - 1253
  • [4] Modeling and Verification of Simulation-Oriented Digital Selves
    Wang Z.
    Sun H.
    International Journal of Crowd Science, 2023, 7 (02) : 87 - 96
  • [5] A communication modeling approach for advanced distributed simulation
    Smith, WR
    Washburn, KB
    Ng, HC
    ENABLING TECHNOLOGY FOR SIMULATION SCIENCE, 1997, 3083 : 223 - 230
  • [6] DELAY-TIME MODELING AND CRITICAL-PATH VERIFICATION FOR CMOS DIGITAL DESIGNS
    KIM, KH
    PARK, SB
    COMPUTER-AIDED DESIGN, 1991, 23 (09) : 604 - 614
  • [7] A distributed simulation approach for modeling and analyzing systems of systems
    Sharawi, Abeer
    Sala-Diakanda, Serge N.
    Dalton, Adam
    Quijada, Sergio
    Yousef, Nabeel
    Rabelo, Luis
    Sepulveda, Jose
    PROCEEDINGS OF THE 2006 WINTER SIMULATION CONFERENCE, VOLS 1-5, 2006, : 1028 - +
  • [8] STATE MACHINES AND ASSERTIONS - AN INTEGRATED APPROACH TO MODELING AND VERIFICATION OF DISTRIBUTED SYSTEMS
    JOSEPH, TA
    RAUCHLE, T
    TOUEG, S
    SCIENCE OF COMPUTER PROGRAMMING, 1986, 7 (01) : 1 - 22
  • [9] A Modeling and Verification Approach to the Design of Distributed IMA Architectures using TTEthernet
    Robati, Tiyam
    Gherbi, Abdelouahed
    Mullins, John
    7TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT 2016) / THE 6TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT-2016) / AFFILIATED WORKSHOPS, 2016, 83 : 229 - 236
  • [10] Verification of object-oriented simulation designs
    Metz, ML
    Jordan, J
    WSC'01: PROCEEDINGS OF THE 2001 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2001, : 600 - 603
12345