Simulation Software for Digital Circuits (2011) Updated