本文采用软件模型法,模拟由门、芯片和CPU元件组成的逻辑数字系统功能。在系统描述、建模方法、算法特点以及数据结构的建立、存贮和控制等方面,解决了理论和应用的角度上应考虑的一些问题。随后给出一个基于表驱动法的适合上述数字系统逻辑验证的模拟系统,较为详细地分析了该系统软件的功能、结构和支持及其性能效率,并用实例说明模拟系统的使用。 This article uses software modeling to simulate the functions of logic digital systems made up of gates, chips, and CPU components. In the aspects of system description, modeling method, algorithm characteristic and data structure establishment, storage and control, some problems that should be considered in theory and application are solved. Then, a simulation system based on the table-driven method, which is suitable for the logic verification of the digital system, is given. The function, structure and support of the system software and its performance and efficiency are analyzed in detail. An example is given to illustrate the use of the simulation system.