Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs

• 作者Giuseppe Di Guglielmo; Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli
• 卷第27卷
• 期第2期
• 印刷ISSN0923-8174
• 电子ISSN1573-0727
• 文件大小1098.10KB
• 发表时间2011-04
• DOI10.1007/s10836-011-5209-8
• 页码137-162