• DocumentCode
    1918533
  • Title

    Verification of heterogeneous systems: Theory and industrial experiences

  • Author

    Grimm, Christoph ; Encrenaz, Emmanuelle

  • Author_Institution
    TU Kaiserslautern
  • fYear
    2013
  • fDate
    24-26 Sept. 2013
  • Firstpage
    1
  • Lastpage
    1
  • Abstract
    The verification of heterogeneous systems, in particular of analog/mixed-signal system, is still a problem. In this session the first two research papers describe new methods to verify analog/mixed-signal systems using an assertion-based approach. The last two papers give an insight into industrial practice.
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Specification & Design Languages (FDL), 2013 Forum on
  • Conference_Location
    Paris, France
  • ISSN
    1636-9874
  • Type

    conf

  • Filename
    6646626
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1918533