A method of verifying a semiconductor integrated circuit is provided. Additionally, the first key portion of the split encryption key is retained by the server, while the second key portion of the split encryption key is delivered to a sending client and is discarded from the server. Once the vehicles have been located, the call center sends a command to those vehicles corresponding to the utility’s request. The receiver may also operate in a networked environment in which a network of transceiver node devices comprise a first slave transceiver having a receiver configured to receive spread spectrum signals, and a second slave transceiver configured to communicate with the first slave transceiver. Methods of preparing the salt forms and pharmaceutical compositions comprising the salt forms are also provided. Compositions comprise a mini-cosmid vector comprising a stuffer fragment and at least one cos site.