Low-Power Mixed-Signal Verification of Freescale Kinetis Products