Efficient Verification of Timing-Related Network Functions in High-Speed Hardware.
Tianqi FangLisong XuWitawas Srisa-anPublished in: INFOCOM (2023)
Keyphrases
- high speed
- real time
- content addressable memory
- low cost
- network model
- low power
- high speed networks
- network structure
- complex networks
- computer networks
- communication networks
- data acquisition
- low latency
- peer to peer
- hardware and software
- lightweight
- network architecture
- computing systems
- computing platform
- hardware design
- formal verification
- parallel execution
- wireless sensor networks