• DocumentCode
    1637631
  • Title

    Technologies for hardware simulation and verification

  • Author

    Hahanov, Vladimir ; Hahanova, Anna ; Obrizan, Volodymyr ; Zaharov, Konstantin

  • fYear
    2008
  • Firstpage
    560
  • Lastpage
    564
  • Abstract
    We consider a high performance software/hardware implementation of fault and fault -free simulation methods, and linting-technology for early design stage verification as well. Application of these technologies allows significant increasing simulation performance in comparison with software tools, and reducing design time of very high scale integrated circuits for 20-30%.
  • Keywords
    digital simulation; electronic design automation; fault tolerant computing; hardware description languages; program verification; system-on-chip; design stage verification; fault -free simulation method; fault simulation method; hardware simulation; hardware verification; linting-technology; software tools; Electronic Design Automation; Hardware fault simulation; Linting -technology; Verification;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Modern Problems of Radio Engineering, Telecommunications and Computer Science, 2008 Proceedings of International Conference on
  • Conference_Location
    Lviv-Slavsko
  • Print_ISBN
    978-966-553-678-9
  • Type

    conf

  • Filename
    5423439