Innovative 4-State Logic Emulation for Power-aware Verification