Functional verification of power gate design in SystemC RTL.

George Sobral Silveira Alisson Vasconcelos De Brito Elmar U. K. Melcher

Published in: SBCCI (2009)

Keyphrases

functional verification
power consumption
user interface
parallel algorithm
formal verification
real time
image processing
case study
data streams
software engineering