[IEEE 2009 IEEE International Behavioral Modeling and Simulation Conference (BMAS 2009) - San Jose, CA, USA (2009.09.17-2009.09.18)] 2009 IEEE Behavioral Modeling and Simulation Workshop - A modeling methodology for verifying functionality of a wireless chip