• DocumentCode
    3234165
  • Title

    A fast virtual device framework for improving RTL verification efficiency

  • Author

    An, Jianfeng ; Fan, Xiaoya ; Zhang, Shangang

  • Author_Institution
    Dept. of Comput. Sci. & Eng., Northwestern Polytech. Univ., Xi´´an, China
  • fYear
    2011
  • fDate
    27-29 May 2011
  • Firstpage
    73
  • Lastpage
    75
  • Abstract
    Functional verification is time-consuming in design of processors. In order to rapidly build a reference model and automatically compare simulation resulting, this paper proposes a virtual device framework based full system simulator. The framework can speed up construction of verification environment for processors, from internal components to full processors. We demonstrate the method using the decoder component verification in Longteng C1 processor. The result shows the framework is efficient.
  • Keywords
    formal verification; microprocessor chips; virtual machines; Longteng C1 processor; RTL verification; decoder component verification; full system simulator; virtual device; Computational modeling; full system simulator; functional verification; virtual device;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Communication Software and Networks (ICCSN), 2011 IEEE 3rd International Conference on
  • Conference_Location
    Xi´an
  • Print_ISBN
    978-1-61284-485-5
  • Type

    conf

  • DOI
    10.1109/ICCSN.2011.6014392
  • Filename
    6014392