UPF-based formal verification of low power techniques in modern processors.
Reza SharafinejadBijan AlizadehMasahiro FujitaPublished in: VTS (2015)
Keyphrases
- low power
- formal verification
- signal processor
- high speed
- low cost
- power consumption
- model checking
- single chip
- model checker
- automated verification
- bounded model checking
- parallel algorithm
- wireless transmission
- logic circuits
- high power
- symbolic model checking
- digital signal processing
- power reduction
- low power consumption
- parallel processing
- real time
- vlsi architecture
- image sensor
- general purpose
- digital camera
- delay insensitive
- parallel computing
- formal specification