B Advanced Techniques for Power-Aware System-Level Prototyping