• DocumentCode
    2890668
  • Title

    Platform for automated HW/SW co-verification, testing and simulation of microprocessors

  • Author

    Simevski, Aleksandar ; Kraemer, Rolf ; Krstic, Milos

  • Author_Institution
    Brandenburg University of Technology, Konrad-Wachsmann-Allee 1, D-03046 Cottbus, Germany
  • fYear
    2012
  • fDate
    10-13 April 2012
  • Firstpage
    1
  • Lastpage
    5
  • Abstract
    The high complexity of very deep-submicron Systems-on-Chip makes their verification extremely challenging task. Various methodologies based on traditional simulation, assertion-based verification, formal verification etc. help increase the confidence that a circuit is working according to specification, but in most of the cases an assertion that a circuit is 100% compliant to its specifications is not reachable.
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Test Workshop (LATW), 2012 13th Latin American
  • Conference_Location
    Quito, Ecuador
  • Print_ISBN
    978-1-4673-2355-0
  • Type

    conf

  • DOI
    10.1109/LATW.2012.6261242
  • Filename
    6261242
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2890668