Strategy to design formally verified hardware/software implementation of network protocols on reconfigurable hardware.
Pabudi T. AbeyrathneS. Devapriya DewasurendraDhammika ElkaduwaPublished in: ICIIS (2015)
Keyphrases
- software implementation
- reconfigurable hardware
- hardware implementation
- field programmable gate array
- single chip
- low cost
- hardware design
- network protocols
- hardware software
- evolvable hardware
- hardware architecture
- efficient implementation
- embedded systems
- real time
- computing systems
- image processing
- image processing algorithms
- hardware and software
- distributed databases