Low-power design and power-aware verification. ([2018])