Hardware/software co-verification platform for EOS design

被引：0

作者：

Wang, P ^{[1
]}

Liu, JS ^{[1
]}

Zeng, LG ^{[1
]}

机构：

[1] Tsinghua Univ, Dept Elect Engn, Beijing 100084, Peoples R China

来源：

2003 5TH INTERNATIONAL CONFERENCE ON ASIC, VOLS 1 AND 2, PROCEEDINGS | 2003年

关键词：

hardware/software co-verification; EOS;

D O I：

10.1109/ICASIC.2003.1277522

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Ethernet over SDH/SONET (EOS) has become a hotspot in data transmission technology for it combines the merits of both Ethernet and SDH/SONET. However. implementing an EOS system on a chip is complex and needs full verifications. This paper introduces our design of Hardware/Software co-verification platform for EOS design. The hardware platform contains a microprocessor board and an FPGA (Field Programmable Gate Array)-based verification board, and the corresponding software includes test benches running in FPGAs. controlling programs for the microprocessor and a console program with GUT (Graphical User lnterface) interface for configuration, management and supervision. The design is cost-effective and has been successfully employed in verifying several IP (Intellectual Property) blocks of our EOS chip. Moreover. it is flexible and can be applied as a general-purpose verification platform.

引用

页码：195 / 198

页数：4

共 50 条

[1] A Highly Integrated Hardware/Software Co-Design and Co-Verification Platform
Yang, Shufan
Yu, Zheqi
IEEE DESIGN & TEST, 2019, 36 (01) : 23 - 30
[2] Hardware and software co-verification - Key to co-design
Leef, S
ELECTRONIC DESIGN, 1997, 45 (20) : 67 - &
[3] Hardware and software co-verification - key to co-design
Electron Des, 20 (67):
[4] Panel: Hardware/software co-verification
Smith, G
Courtoy, M
Kenefick, M
DESIGN AUTOMATION CONFERENCE - PROCEEDINGS 1997, 1997, : 484 - 485
[5] Hardware/software co-design and co-verification loom on the horizon
Ajluni, C
ELECTRONIC DESIGN, 1998, 46 (02) : 110 - 110
[6] Hardware/Software Formal Co-Verification using Hardware Verification Techniques
Nguyen, Minh D.
Kunz, Wolfgang
2012 FOURTH INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND ELECTRONICS (ICCE), 2012, : 465 - 470
[7] Compositional reasoning for hardware/software co-verification
Xie, Fei
Yang, Guowu
Song, Xiaoyu
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2006, 4218 : 154 - 169
[8] The challenge of hardware-software co-verification
Manolios, Panagiotis
VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 438 - 447
[9] Formal Techniques for Hardware/Software Co-Verification
Kroening, Daniel
Srivas, Mandayam
2013 26TH INTERNATIONAL CONFERENCE ON VLSI DESIGN AND 2013 12TH INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS (VLSID), 2013, : LVII - LVIII
[10] Solutions eyed for hardware and software co-verification
不详
ELECTRONIC DESIGN, 1997, 45 (19) : 28 - 28

← 1 2 3 4 5 →