simulation and post layout verification and analysis