Models and techniques for designing mobile system-on-chip devices