• DocumentCode
    1405384
  • Title

    Verification-Purpose Operating System for Microprocessor System-Level Functions

  • Author

    Gong, Lingkan ; Lu, Jingfen

  • Author_Institution
    Dept. of IC Design, East China Inst. of Comput. Technol., Shanghai, China
  • Volume
    27
  • Issue
    1
  • fYear
    2010
  • Firstpage
    76
  • Lastpage
    85
  • Abstract
    Microprocessor system-level functions that provide hardware support for software are difficult to verify on FPGA prototypes. Traditional FPGA verification involves running a general-purpose operating system such as Linux. However, such a GPOS is difficult to control, and debug is inefficient. The verification-purpose operating system, on the other hand, simplifies debug and is easy to control. VPOS also significantly increases coverage over that of GPOS approaches.
  • Keywords
    Linux; field programmable gate arrays; microprocessor chips; FPGA prototypes; GPOS; Linux; microprocessor system-level functions; verification-purpose operating system; Automatic testing; Field programmable gate arrays; Hardware; Memory management; Microprocessors; Operating systems; Software prototyping; Software testing; System testing; Virtual prototyping; FPGA; VPOS; Verification-Purpose Operating System; design and test; microprocessor verification; system-level function;
  • fLanguage
    English
  • Journal_Title
    Design & Test of Computers, IEEE
  • Publisher
    ieee
  • ISSN
    0740-7475
  • Type

    jour

  • DOI
    10.1109/MDT.2010.28
  • Filename
    5406674
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1405384