Automatic generation of Verilog bus transactors from natural language protocol specifications.
Ian G. HarrisPublished in: HLDVT (2012)
Keyphrases
- natural language
- written in natural language
- protocol specification
- model checker
- high speed
- automatically generate
- lightweight
- state machines
- formal language
- formal specification
- controlled natural language
- semantic analysis
- formal verification
- natural language interface
- model checking
- natural language processing
- high level
- question answering
- machine translation
- application layer
- machine learning
- information extraction
- functional requirements
- semantic interpretation
- communication protocol
- semantic representation
- language processing
- dialogue system
- tcp ip
- temporal logic
- reactive systems
- security protocols
- natural language generation
- control flow
- specification language