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

Automatic Extraction of Requirements from State-based Hardware Designs for Runtime Verification.

Minjun SeoRoman Lysecky
Published in: ACM Great Lakes Symposium on VLSI (2019)
Keyphrases
  • automatic extraction
  • hardware designs
  • relation extraction
  • biomedical literature
  • computer vision
  • model checking
  • wrapper generation
  • neural network
  • complex systems
  • model based diagnosis