Topaz: Mining high-level safety properties from logic simulation traces.
Ahmed NassarFadi J. KurdahiSalam R. ZantoutPublished in: DATE (2016)
Keyphrases
- high level
- low level
- databases
- simulation model
- data mining
- data mining techniques
- neural network
- data analysis
- sequential patterns
- derivation rules
- formal language
- sequential pattern mining
- log files
- desirable properties
- mining algorithm
- modal logic
- pattern mining
- itemsets
- logic programming
- higher level
- text mining
- knowledge discovery