Automating the translation of assertions using natural language processing techniques
GoldMine: Automatic assertion generation using data mining and static analysis