Login / Signup

Verifying a gigabit ethernet switch using SMV.

Yuan LuMike Jorda
Published in: DAC (2004)
Keyphrases
  • gigabit ethernet
  • model checking
  • high speed
  • fiber optic
  • symbolic model checking
  • formal verification
  • high bandwidth
  • denoising
  • real time