An Analog Verification and IP Development Environment