Controlled Natural Language Framework for Generating Assertions from Hardware Specifications.

Rahul Krishnamurthy Michael S. Hsiao

Published in: ICSC (2019)

Keyphrases

controlled natural language
main contribution
real time
databases
machine learning
low cost
data mining
email
prior knowledge
hardware and software
semantic representation