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 条
[21]   A Framework for Modeling the Distributed Deployment of Synchronous Designs [J].
Luca P. Carloni ;
Alberto L. Sangiovanni-Vincentelli .
Formal Methods in System Design, 2006, 28 :93-110
[22]   Graphical Modeling and Simulation of Learning Designs [J].
Harrer, Andreas ;
Malzahn, Nils ;
Hoppe, H. Ulrich .
SUPPORTING LEARNING FLOW THROUGH INTEGRATIVE TECHNOLOGIES, 2007, 162 :291-294
[23]   Modeling the Faulty Behaviour of Digital Designs Using a Feed Forward Neural Network Approach [J].
Mirzadeh, Zeynab ;
Boland, Jean-Francois ;
Savaria, Yvon .
2015 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2015, :1518-1521
[24]   Modeling and digital simulation [J].
Pasquet, Philippe .
EUROPEAN JOURNAL OF COMPUTATIONAL MECHANICS, 2010, 19 (04) :465-466
[25]   DIGITAL SIMULATION AND MODELING [J].
PRATER, KB .
CHEMICAL INSTRUMENTATION, 1972, 3 (03) :259-&
[26]   A distributed regional modeling approach for power bipolar devices in circuit simulation [J].
Berraies, MO ;
Leturcq, P .
PROCEEDINGS OF THE 1997 BIPOLAR/BICMOS CIRCUITS AND TECHNOLOGY MEETING, 1997, :131-134
[27]   SIMULATION GRAPHS - A GENERAL TOOL FOR MODELING SIMULATION DESIGNS [J].
TORN, AA .
SIMULATION, 1981, 37 (06) :187-194
[28]   Transactional Test Environment For Faster And Early Verification Of Digital Designs [J].
Kakani, Rama Krishna ;
Darji, A. D. .
2018 4TH INTERNATIONAL CONFERENCE ON COMPUTING, ENGINEERING, AND DESIGN (ICCED 2018), 2018, :148-152
[29]   Crosstalk noise verification in digital designs with interconnect process variations [J].
Nagaraj, NS ;
Balsara, P ;
Cantrell, C .
VLSI DESIGN 2001: FOURTEENTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, 2001, :365-370
[30]   AN APPROACH TO DISTRIBUTED MODELING [J].
UMNOV, A ;
ALBEGOV, M .
BEHAVIORAL SCIENCE, 1981, 26 (04) :354-365
12345