Automatic refinement of requirements for verification throughout the SoC design flow.
Laurence PierreZeineb Bel Hadj AmorPublished in: CODES+ISSS (2013)
Keyphrases
- design process
- functional requirements
- design principles
- case study
- cost effectiveness
- knowledge based systems
- design space
- optimal design
- embedded systems
- functional verification
- design requirements
- formal verification
- user requirements
- design methodology
- hardware and software
- database
- low cost
- optical flow
- user interface
- website
- genetic algorithm