• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Automated Test Generation for Activation of Assertions in RTL Models.

Yangdi LyuPrabhat Mishra
Published in: ASP-DAC (2020)
Keyphrases
  • test generation
  • open source
  • test cases
  • pattern matching
  • high quality
  • computer vision
  • knowledge base
  • image processing
  • training data
  • complex systems