SoC connectivity specification extraction using incomplete RTL design: An approach for Formal connectivity Verification.
Haytham SaafanM. Watheq El-KharashiAshraf SalemPublished in: IDT (2016)
Keyphrases
- formal methods
- formal verification
- model checking
- design principles
- formal language
- high level
- information extraction
- data sets
- formal specification
- automatic extraction
- hardware software partitioning
- functional verification
- tool suite
- brain connectivity
- software architecture
- knowledge based systems
- sensor networks
- case study