Wireless Verification Challenges

Wireless communications systems (Fig. 1) face increased performance demands from the rapidly growing subscriber base. In addition to routing and not dropping voice calls as users roam, wireless systems must meet the demand for high-speed data services, all while making efficient use of the available frequency spectrum.

Wireless communications architecture

Figure 1: Wireless communications architecture

Wireless communications designs are constantly being driven to higher data rates, which require higher modulation levels. Wireless standards now call for 1024-state quadrature amplitude modulation (1024 QAM) and beyond. Such complex modulation schemes have very tight requirements for symbol accuracy and signal-to-noise ratio, which leads to increased system design complexity.

Wireless Blocks with Simulation-Resistant Superbugs

Many functional units in a wireless design are commonly found to contain simulation-resistant superbugs, such as:

Datapath controller

Bypass cache and forwarding logic

Demodulator Frontend

MAC Protocol Control Unit (PCU)

Packet parser


MAC DMA engine

These types of blocks have too many combinations to test in simulation and to completely cover all temporal relations between events.

Oski Formal for Wireless

Oski’s Formal Sign-Off Methodology enables exhaustive analysis of all possible design states. Oski has developed the expertise required to anticipate where the wireless superbugs are most likely to occur and to know how to flush them out. Contact Oski to learn more.