---
res:
  bibo_abstract:
  - Seamless HW/SW codesign flows support early verification of hardware and Hardware-dependent
    Software (HdS) like drivers, operating systems, and firmware. For early estimation
    and verification, the application of SystemC in combination with Instruction Set
    Simulators and Software Emulators like QEMU is widely accepted. In this article,
    we present an advanced design flow for HW, (RT)OS and HdS refinement and verification
    with focus on the transition from abstract RTOS verification to full system RTOS/HdS
    emulation. In the context of assertion-based verification, we introduce a set
    of generic real-time properties which can be reused and verified at different
    abstraction levels and discuss their application. The properties are presented
    by the means of IEEE standard PSL assertions which are applied for mixed SystemC/HdS
    models.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Wolfgang
      foaf_name: Müller, Wolfgang
      foaf_surname: Müller
      foaf_workInfoHomepage: http://www.librecat.org/personId=16243
  - foaf_Person:
      foaf_givenName: Marcio F.
      foaf_name: da S. Oliveira, Marcio F.
      foaf_surname: da S. Oliveira
  - foaf_Person:
      foaf_givenName: Henning
      foaf_name: Zabel, Henning
      foaf_surname: Zabel
  - foaf_Person:
      foaf_givenName: Markus
      foaf_name: Becker, Markus
      foaf_surname: Becker
  dct_date: 2010^xs_gYear
  dct_language: eng
  dct_publisher: IEEE@
  dct_subject:
  - Hardware
  - Microprogramming
  - Application software
  - Timing
  - Protocols
  - Virtual prototyping
  - Real time systems
  - Sampling methods
  - Operating systems
  - Emulation
  dct_title: Verification of Real-Time Properties for Hardware-Dependant Software@
...