Improving functional verification of embedded systems using hierarchical composition and set theory.
Cássio L. RodriguesKarina R. G. da SilvaHenrique do N. CunhaPublished in: SAC (2009)
Keyphrases
- embedded systems
- set theory
- functional verification
- hardware software
- low cost
- partial order
- fuzzy set theory
- rough sets
- first order logic
- mathematical morphology
- fuzzy sets
- software systems
- rough set theory
- machine learning
- probability theory
- data mining
- hardware and software
- field programmable gate array
- decision making
- genetic algorithm
- formal verification
- artificial intelligence
- computational intelligence
- image processing
- neural network
- multi agent systems