Guest editorial - testing and verification of communication system-on-chip devices.
Dimitris GizopoulosRobert C. AitkenPublished in: IEEE Commun. Mag. (2003)
Keyphrases
- embedded systems
- test generation
- communication technologies
- formal verification
- special issue
- symbolic execution
- hardware and software
- computing devices
- information sharing
- power consumption
- communication systems
- embedded devices
- communication cost
- model checking
- communication infrastructure
- information exchange
- test cases
- face verification
- communication overhead
- home appliances
- wireless devices
- real time
- functional verification
- communication patterns
- signature verification
- communication networks
- low cost
- mobile devices
- neural network