Generating formal hardware verification properties from Natural Language documentation.
Christopher B. HarrisIan G. HarrisPublished in: ICSC (2015)
Keyphrases
- formal language
- natural language
- low cost
- knowledge representation
- real time
- natural language interface
- desirable properties
- formal methods
- hardware and software
- hardware designs
- formal languages
- hardware implementation
- formal model
- machine learning
- conceptual graphs
- data acquisition
- circuit design
- description logics
- face recognition
- data sets