Goldmine: An integration of data mining and static analysis for automatic generation of hardware assertions