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

Directed Test Generation for Activation of Security Assertions in RTL Models.

Hasini WitharanaYangdi LyuPrabhat Mishra
Published in: ACM Trans. Design Autom. Electr. Syst. (2021)
Keyphrases
  • test generation
  • information technology
  • databases
  • test sequences
  • probabilistic model
  • database
  • decision trees
  • query processing
  • access control
  • test cases
  • symbolic execution