Verifying a gigabit ethernet switch using SMV. - Yuan Lu; Mike Jorda (DAC, 2004)