Transforming Natural Language Specifications to Logical Forms for Hardware Verification.
Rahul KrishnamurthyMichael S. HsiaoPublished in: ICCD (2020)
Keyphrases
- natural language
- written in natural language
- automated verification
- concurrent systems
- model checking
- formal verification
- hardware designs
- logical formulas
- bounded model checking
- model checker
- formal language
- low cost
- formal specification
- real time
- asynchronous circuits
- hardware and software
- protocol specification
- natural language interface
- machine learning
- question answering
- temporal logic
- natural language processing
- semantic interpretation
- semantic analysis
- face verification
- high level
- controlled natural language
- hardware implementation
- conceptual graphs
- signature verification
- language processing
- hardware design
- dialogue system
- natural language generation
- natural language understanding
- semantic representation
- information extraction
- distributed systems
- computing systems
- logical operations
- verification method
- functional requirements
- computing power