Rahul Krishnamurthy, Michael S. Hsiao. Controlled Natural Language Framework for Generating Assertions from Hardware Specifications. In 13th IEEE International Conference on Semantic Computing, ICSC 2019, Newport Beach, CA, USA, January 30 - February 1, 2019. pages 367-370, IEEE, 2019. [doi]
Abstract is missing.