Formal for everyone - Challenges in achievable multicore design and verification.
Daryl StewartPublished in: FMCAD (2012)
Keyphrases
- user interface
- lessons learned
- design decisions
- design principles
- functional verification
- formal verification
- formal methods
- engineering design
- database
- user experience
- case study
- conceptual model
- key issues
- software architecture
- knowledge based systems
- design methodology
- optimal design
- evolutionary algorithm
- design space
- databases