Verification problems in reusing internal design components.
Warren StapletonPaul TobinPublished in: DAC (2009)
Keyphrases
- building blocks
- design process
- benchmark problems
- design principles
- databases
- design space
- user interface
- optimization problems
- optimal design
- design patterns
- design decisions
- formal verification
- internal and external
- formal methods
- solving problems
- design methodology
- model checking
- knowledge based systems
- lower bound
- feature selection
- data mining
- neural network