• DocumentCode
    2910858
  • Title

    Harnessing machine learning to improve the success rate of stimuli generation

  • Author

    Fine, Shai ; Freund, Ari ; Jaeger, Itai ; Naveh, Yehuda ; Ziv, Avi ; Mansour, Yishay

  • Author_Institution
    IBM Res. Lab., Haifa, Israel
  • fYear
    2005
  • fDate
    30 Nov.-2 Dec. 2005
  • Firstpage
    112
  • Lastpage
    118
  • Abstract
    The initial state of a design under verification has a major impact on the ability of stimuli generators to successfully generate the requested stimuli. For complexity reasons, most stimuli generators use sequential solutions without planning ahead. Therefore, in many cases they fail to produce consistent stimuli due to an inadequate selection of the initial state. We propose a method, based on machine learning techniques, to improve generation success by learning the relationship between the initial state vector and generation success. We applied the proposed method in two different settings, with the objective of improving generation success and coverage in processor and system level generation. In both settings, the proposed method significantly reduced generation failures and enabled faster coverage.
  • Keywords
    automatic test pattern generation; formal verification; learning (artificial intelligence); logic CAD; logic testing; generation failure reduction; initial state vector; machine learning; stimuli generation; system level generation; Computer science; Electronic mail; Event detection; Hardware; Laboratories; Law; Legal factors; Machine learning; Test pattern generators; Testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    High-Level Design Validation and Test Workshop, 2005. Tenth IEEE International
  • ISSN
    1552-6674
  • Print_ISBN
    0-7803-9571-9
  • Type

    conf

  • DOI
    10.1109/HLDVT.2005.1568823
  • Filename
    1568823