Automated Power-Aware System-Level Design With The Mavo Framework