The Emory digital circuit simulator EDiSim