An RTL power optimization technique based on System Verilog assertions.

Khaled Khalifa Khaled Salah

Published in: UEMCON (2016)

Keyphrases

power consumption
knowledge base
hardware description language
power distribution
real time
genetic algorithm
objective function
data structure
long term
computational power