Automating the translation of assertions using natural language processing techniques
focs : automatic generation of simulation checkers from formal specifications .