DocumentCode :
416243
Title :
Verifying a gigabit ethernet switch using SMV
Author :
Lu, Yuan ; Jorda, Mike
Author_Institution :
Enterprise Switching Division, Broadcom Corporation
fYear :
2004
fDate :
7-11 July 2004
Firstpage :
230
Lastpage :
233
Keywords :
Computer bugs; Delay; Ethernet networks; Explosions; Logic; Packet switching; Performance analysis; Permission; Switches; System-on-a-chip;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design Automation Conference, 2004. Proceedings. 41st
Conference_Location :
San Diego, CA, USA
ISSN :
0738-100X
Print_ISBN :
1-51183-828-8
Type :
conf
Filename :
1322476
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=416243
بازگشت