Simulation and Verification of Electronic and