Login / Signup
Verifying a gigabit ethernet switch using SMV.
Yuan Lu
Mike Jorda
Published in:
DAC (2004)
Keyphrases
</>
gigabit ethernet
model checking
high speed
fiber optic
symbolic model checking
formal verification
high bandwidth
denoising
real time