Taking the design and simulation of a synchronized decimal addition counter with self-running function as an example, this paper illustrates the application of Proteus to circuit design and simulation teaching. The practice indicates that the vitual development environment based on Proteus is favorable to the reform of the teaching and practice for the spcecialized course because it is not limited by space and time. Thus electronic design automation is truly realized.