Login / Signup

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