RTL Assertion Mining with Automated RTL-to-TLM Abstraction.
Tara GhasempouriAlessandro DaneseGraziano PravadelliNicola BombieriJaan RaikPublished in: FDL (2019)
Keyphrases
- model based diagnosis
- high level
- semi automated
- fully automated
- frequent patterns
- association rule mining
- data mining
- sequential patterns
- computer aided
- data mining algorithms
- data mining techniques
- machine learning
- frequent itemsets
- preprocessing
- search algorithm
- semi automatic
- website
- metadata
- pattern mining
- e learning
- data sets
- automated analysis
- association mining