A timed HW/SW coemulation technique for fast yet accurate system verification

Hoeseok Yang, Youngmin Yi, Soonhoi Ha

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Scopus citations

Abstract

In System-on-chip (SoC) design, it is essential to verify the correctness of design before a chip is fabricated. While conventional hardware emulators validate functional correctness of hardware components quickly, only a few researches exist to use hardware emulators for timing verification since synchronization between the hardware emulator and the other parts easily overwhelms the gain of hardware emulator. In this paper we propose a novel hardware/software coemulation framework for fast yet accurate system verification based on the virtual synchronization technique. For virtual synchronization, interface protocol and interface logic between a hardware emulator and the HW/SW coemulation kernel are proposed. Experiments with real-life examples prove the effectiveness of the proposed technique.

Original languageEnglish
Title of host publicationProceedings - 2009 International Conference on Embedded Computer Systems
Subtitle of host publicationArchitectures, Modeling and Simulation, IC-SAMOS 2009
Pages74-81
Number of pages8
DOIs
StatePublished - 2009
Event2009 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2009 - Samos, Greece
Duration: 20 Jul 200923 Jul 2009

Publication series

NameProceedings - 2009 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2009

Conference

Conference2009 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2009
Country/TerritoryGreece
CitySamos
Period20/07/0923/07/09

Keywords

  • Coemulation
  • Cosimulation
  • Synchronization
  • Verification

Fingerprint

Dive into the research topics of 'A timed HW/SW coemulation technique for fast yet accurate system verification'. Together they form a unique fingerprint.

Cite this