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