Now the question is why logic equivalence checks are needed between Analog circuit simulation and functional behavioral models. The need is, unlike digital design where RTL design used for ...