A packet-based emulating platform with serializer/deserializer interface for heterogeneous IP verification.
Chih-Hsing LinYung-Chang ChangWen-Chih HuangWei-Chih LaiChing-Te ChiuJen-Ming WuShuo-Hung HsuChun-Ming HuangChih-Chyau YangShih-Lun ChenPublished in: ISCAS (2010)
Keyphrases
- gigabit ethernet
- switched networks
- friendly interface
- ip traffic
- application layer
- cross platform
- network layer
- ip address
- communication protocol
- internet protocol
- ip networks
- client server architecture
- user interface
- packet forwarding
- heterogeneous systems
- fiber optic
- heterogeneous wireless sensor networks
- packet loss
- user friendly
- distributed architecture
- high speed
- model checking
- verification method
- formal verification
- end to end