MIMO OTA Channel Verification and Performance Testing.
Tian MaLei TianJianhua ZhangZhen ZhangPublished in: ICCC (2018)
Keyphrases
- multiple output
- multiple input
- mimo systems
- fading channels
- wireless channels
- mimo ofdm
- multiple input multiple output
- test generation
- formal verification
- symbolic execution
- model checking
- multi channel
- ofdm system
- physical layer
- channel estimation
- code division multiple access
- communication systems
- communication channels
- wireless communication
- test cases
- transmission scheme
- cdma systems
- verification method
- wireless communication systems
- sensor networks
- low complexity
- channel coding
- formal methods
- face verification