2004
Verifying a gigabit ethernet switch using SMV.
[DOI]
Yuan Lu
,
Mike Jorda
Proceedings of the 41th Design Automation Conference, 2004