Verification of behavioral descriptions by combining symbolic simulation and automatic reasoning.
Ghiath Al SammaneDominique BorrioneRemy ChevallierPublished in: ACM Great Lakes Symposium on VLSI (2005)
Keyphrases
- connectionist learning
- high level
- symbolic description
- simulation environment
- qualitative simulation
- knowledge base
- model checking
- simulation model
- formal methods
- automated reasoning
- reasoning systems
- model based reasoning
- symbolic reasoning
- fully automatic
- model based diagnosis
- symbolic representation
- data sets
- simulation models
- mathematical model
- information systems