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.
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:
Bypass cache and forwarding logic
MAC Protocol Control Unit (PCU)
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.