A SystemC-Based Verification Methodology for Complex Wireless Software IP.

Guido Post P. K. Venkataraghavan Tapan Ray D. R. Seetharaman

Published in: DATE (2004)

Keyphrases

wireless networks
software development
computer systems
formal methods
real world
user interface
analysis tool
software systems
complex systems
development process
software tools
software design
health monitoring
network connectivity
mobile communication
peer to peer
source code
software engineering
high level