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 条
[41]   Combining symbolic simulation and interval arithmetic for the verification of AMS designs [J].
Zaki, Mohamed H. ;
Al-Sammane, Ghiath ;
Tahar, Sofiene ;
Bois, Guy .
FMCAD 2007: FORMAL METHODS IN COMPUTER AIDED DESIGN, PROCEEDINGS, 2007, :207-+
[42]   DISTRIBUTED SIMULATION FOR A MODELING AND SIMULATION TOOL: PAPYRUS [J].
Gorecki, Simon ;
Ducq, Yves ;
Ribault, Judicael ;
Zacharewicz, Gregory ;
Perry, Nicolas .
2019 SPRING SIMULATION CONFERENCE (SPRINGSIM), 2019,
[43]   Improving verification methodologies in digital circuits modeling [J].
NiţǍ, Iulian ;
Rapan, Adrian .
UPB Scientific Bulletin, Series C: Electrical Engineering, 2012, 74 (02) :79-86
[44]   IMPROVING VERIFICATION METHODOLOGIES IN DIGITAL CIRCUITS MODELING [J].
Nita, Iulian ;
Rapan, Adrian .
UNIVERSITY POLITEHNICA OF BUCHAREST SCIENTIFIC BULLETIN SERIES C-ELECTRICAL ENGINEERING AND COMPUTER SCIENCE, 2012, 74 (02) :79-86
[45]   A VHDL-Based Modeling Approach for Rapid Functional Simulation and Verification of Adiabatic Circuits [J].
Maheshwari, Sachin ;
Bartlett, Viv A. ;
Kale, Izzet .
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2021, 40 (08) :1721-1725
[46]   New Verification Approach for Reconfigurable Distributed Systems [J].
Khlifi, Oussama ;
Mosbahi, Olfa ;
Khalgui, Mohamed ;
Frey, Georg .
ICSOFT: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES, 2017, :355-362
[47]   An approach to the verification of symmetric parameterized distributed systems [J].
Konnov, IV ;
Zakharov, VA .
PROGRAMMING AND COMPUTER SOFTWARE, 2005, 31 (05) :225-236
[48]   An Approach to the Verification of Symmetric Parameterized Distributed Systems [J].
I. V. Konnov ;
V. A. Zakharov .
Programming and Computer Software, 2005, 31 :225-236
[49]   A HEURISTICS DERIVATION APPROACH FOR THE DIGITAL TWIN DESIGNS [J].
Kotecha, Maulik C. ;
McAdams, Daniel A. .
PROCEEDINGS OF ASME 2023 INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, IDETC-CIE2023, VOL 2, 2023,
[50]   Verification, validation and accreditation of distributed interactive simulation systems [J].
Moulding, MR ;
Newton, AR .
PROCEEDINGS OF THE 5TH SOFTWARE QUALITY CONFERENCE, 1996, :242-251
12345