Specification and formal verification of power gating in processors.
Amir Masoud GharehbaghiMasahiro FujitaPublished in: ISQED (2014)
Keyphrases
- formal verification
- model checking
- model checker
- bounded model checking
- functional verification
- program slicing
- automated verification
- power consumption
- parallel algorithm
- parallel processing
- temporal logic
- symbolic model checking
- multithreading
- high level
- rough sets
- artificial intelligence
- parallel architecture
- formal specification
- software engineering
- expert systems