Abstract: A method for verifying functionality of a system-on-chip (SoC) comprises modeling a system block in first and second models at a first level and a second level lower than the first level, respectively. A stimulus transaction is generated at a first testbench at the first level. The stimulus transaction is transmitted from the first testbench to a second testbench at the second level. The stimulus transaction is transformed into a first response transaction, using the first model, at the first level. The stimulus transaction received at the second testbench is transformed into a second response transaction, using the second model, at the second level. The first and second response transactions are stored in first and second response queues, respectively. Functionality of the SoC at the first and second levels is verified based on a comparison at the first testbench between head entries of the first and second response queues.

Abstract: A dispatch system and a cellular interconnect system are combined to form a single system in which dispatch and interconnect communications are made with use of common system equipment. Different system configurations are employed according to the number of cells in the system to minimize loss of cellular interconnect capacity arising from dispatch communication operations.

Abstract: A mobile telephone system multiplexes plural voice traffic channels on a single carrier using a TDMA protocol. The capacity of the mobile telephone system is increased by assigning voice traffic capacity, not on a conversation basis, but on a speech spurt basis. In order to avoid compromising the voice transmission capacity, control signals (for the allocation and deallocation of both forward and reverse traffic channels) are sent using multiple diversity, i.e. both time and frequency. In addition, to increase the number of available control channels, a control channel comprises a sub-divided portion of an otherwise equivalent voice traffic slot. For reverse allocation requests, which are transmitted over a contention access channel, power diversity is used in addition to time and frequency diversity.