• DocumentCode
    2152586
  • Title

    The study of HW/SW co-verification on ARM-prototype system

  • Author

    Wang, Guozhang ; Shi, Qiaolin ; Yu, Zhiguo ; Yu, Zongguang

  • Author_Institution
    Sch. of Inf. Eng., Jiangnan Univ., Wuxi, China
  • fYear
    2008
  • fDate
    20-23 Oct. 2008
  • Firstpage
    1847
  • Lastpage
    1850
  • Abstract
    With the ever-increasing complexity and the cost on SoC¿s verification, more attentions are paid to the hardware/software co-verification. In this paper, two HW/SW co-verification methods are compared between virtual-prototype machine and HW-board platform. A hardware platform on ARM-prototype system for an application-specific SoC¿s HW/SW co-verification is implemented complied with software design and system-debugging. The function of the SoC has been verified on the developed platform.
  • Keywords
    formal verification; hardware-software codesign; program debugging; system-on-chip; ARM-prototype system; HW-SW co-verification; SoC verification; application-specific SoC; software design; system-debugging; Costs; Design engineering; Field programmable gate arrays; Frequency; Hardware design languages; Software debugging; Software design; Software prototyping; Timing; Virtual prototyping;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Solid-State and Integrated-Circuit Technology, 2008. ICSICT 2008. 9th International Conference on
  • Conference_Location
    Beijing
  • Print_ISBN
    978-1-4244-2185-5
  • Electronic_ISBN
    978-1-4244-2186-2
  • Type

    conf

  • DOI
    10.1109/ICSICT.2008.4734917
  • Filename
    4734917
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2152586