A modeling methodology for verifying functionality of a wireless chip | IEEE Conference Publication | IEEE Xplore