Modeling approaches for functional verification of RF-SoCs: limits and future requirements

  • Authors:
  • Yifan Wang;Stefan Joeres;Ralf Wunderlich;Stefan Heinen

  • Affiliations:
  • Integrated Analog Circuits, Rheinisch-Westfälische Technische Hochschule, Aachen University, Aachen, Germany;Integrated Analog Circuits, Rheinisch-Westfälische Technische Hochschule, Aachen University, Aachen, Germany;Integrated Analog Circuits, Rheinisch-Westfälische Technische Hochschule, Aachen University, Aachen, Germany;Integrated Analog Circuits, Rheinisch-Westfälische Technische Hochschule, Aachen University, Aachen, Germany

  • Venue:
  • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  • Year:
  • 2009

Quantified Score

Hi-index 0.03

Visualization

Abstract

Since the design and realization of a complex system on a chip is error prone, functional verification should have been a main task in today's design flows but is still underestimated. This paper gives an overview of current modeling approaches to handle functional verification of a design on the top level, prior to tape out. The problems that arise from the different approaches such as baseband modeling and event-driven modeling are explained, and the resulting effects on the simulated system specifications are presented. The necessity of the approaches for future systems, which are not simulatable with current methods, is presented, and the needed extensions of the hardware description languages and simulators are proposed.