Simulation knowledge extraction and reuse in constrained random processor verification.
Wen ChenLi-C. WangJay BhadraMagdy S. AbadirPublished in: DAC (2013)
Keyphrases
- knowledge extraction
- textual documents
- knowledge discovery
- data mining
- systems engineering
- high speed
- simulation model
- functional verification
- signature verification
- model checking
- database
- simulation environment
- medical databases
- neural network
- mathematical model
- formal methods
- computer architecture
- rough sets
- learning objects
- real world
- fuzzy rule based systems