Christopher B. Harris, Ian G. Harris. Generating formal hardware verification properties from Natural Language documentation. In Mohan S. Kankanhalli, Tao Li, Wei Wang, editors, Proceedings of the 9th IEEE International Conference on Semantic Computing, ICSC 2015, Anaheim, CA, USA, February 7-9, 2015. pages 49-56, IEEE Computer Society, 2015. [doi]
Abstract is missing.