Implementing Functional Coverage for Analog IPs in Mixed-Signal Verification Environments