Hardware emulation for functional verification of K5

被引：8

作者：

Ganapathy, G ^{[1
]}

Narayan, R ^{[1
]}

Jorden, G ^{[1
]}

Fernandez, D ^{[1
]}

Wang, M ^{[1
]}

Nishimura, J ^{[1
]}

机构：

[1] ADV MICRO DEVICES INC,AUSTIN,TX 78741

来源：

33RD DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 1996 | 1996年

关键词：

D O I：

10.1109/DAC.1996.545593

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

引用

页码：315 / 318

页数：4

共 50 条

[1] Design verification based on hardware emulation
Nguyen, HN
Thill, M
SEVENTH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 1996, : 2 - 4
[2] Functional Verification of AMS-SoC Models Using Hardware Emulation Platforms
Tawfik, Hanan
AbdElSalam, Mohamed
Safar, Mona
Salem, Ashraf
APPLIED PHYSICS, SYSTEM SCIENCE AND COMPUTERS, 2018, 428 : 153 - 160
[3] Impact of hardware emulation on the verification quality improvement
Serrestou, Youssef
Beroulle, Vincent
Robach, Chantal
VLSI-SOC 2007: PROCEEDINGS OF THE 2007 IFIP WG 10.5 INTERNATIONAL CONFERENCE ON VERY LARGE SCALE INTEGRATION, 2007, : 218 - 223
[4] The Ramsey number r(K5 - P3, K5)
Boza, Luis
ELECTRONIC JOURNAL OF COMBINATORICS, 2011, 18 (01):
[5] REPROGRAMMABLE HARDWARE EMULATION FILLS THE GAP IN DESIGN VERIFICATION
WALTERS, S
COMPUTER DESIGN, 1990, 29 (12): : 23 - &
[6] Hardware emulation of IoT devices and verification of application behavior
Kuwabara, Yoshiki
Yokotani, Tetsuya
Mukai, Hiroaki
2017 23RD ASIA-PACIFIC CONFERENCE ON COMMUNICATIONS (APCC): BRIDGING THE METROPOLITAN AND THE REMOTE, 2017, : 276 - 281
[7] K5公寓
Reiulf D.Ramstad
Espen Surnevik
Sunniva Neuenkirchen Rosenberg
Anders TjФnneland
中国建筑装饰装修, 2011, (02) : 34 - 41
[8] K4 or K5?
不详
BRITISH JOURNAL OF OBSTETRICS AND GYNAECOLOGY, 1996, 103 (09): : R7 - R7
[9] KIA K5 以小见大
白正阳
白帆
汽车与驾驶维修(汽车版), 2016, (01) : 54 - 57
[10] AMD K5问与答
微电脑世界, 1997, (01) : 146 - 147

← 1 2 3 4 5 →