Broadband MIMO powerline channel emulator verification and testing results.
Nico WelingAndreas EngelenStephan ThielPublished in: ISPLC (2015)
Keyphrases
- wireless systems
- mimo systems
- fading channels
- wireless channels
- multiple input
- test generation
- multiple input multiple output
- mimo ofdm
- ofdm system
- formal verification
- symbolic execution
- channel estimation
- communication systems
- multiple output
- multi channel
- physical layer
- transmission scheme
- multiple access
- high speed
- computer simulation
- test cases
- model checking
- wireless communication
- multipath
- wireless communication systems
- multi input multi output
- estimation algorithm
- end to end
- cdma systems
- frequency selective
- internet access