GoldMine: Automatic Assertion Generation Using Data Mining and Static Analysis
Data mining & analytics, Hardware, Software, Validation
GoldMine Tool Suite
The research team of Shobha Vasudevan and David Sheridan has developed GoldMine, a system for the automatic generation of assertions using data mining and static analysis. In hardware verification, assertions play a vital role in proving the correctness of a design. Assertions can be used to debug a design before it is manufactured as well as ensure proper functionality after the actual chip has been produced. Assertions are especially valuable in hardware, for which a design cannot be changed after it is released to customers, in contrast to software, for which a product can easily be patched to fix bugs. GoldMine has the potential to produce a set of assertions for a design that has a higher coverage than the average team of humans could produce.