Controlled Natural Language Framework for Generating Assertions from Hardware Specifications | IEEE Conference Publication | IEEE Xplore