摘要
本文采用软件模型法,模拟由门、芯片和CPU元件组成的逻辑数字系统功能。在系统描述、建模方法、算法特点以及数据结构的建立、存贮和控制等方面,解决了理论和应用的角度上应考虑的一些问题。随后给出一个基于表驱动法的适合上述数字系统逻辑验证的模拟系统,较为详细地分析了该系统软件的功能、结构和支持及其性能效率,并用实例说明模拟系统的使用。
In this paper, the software modelling method is used to simulate the function of a digital system which is composed of gate, chip and CPU components. A number of problems are solved such as system description, modelling, algorithm as well as the construction, memorizing and control of data structure. A software simulator, based on the table-drivensmethod, is developed, and the performance, architecture, support and efficiency of system software-are discussed in detail. This simulator provides a more realistic support tool for the logic verification of digital system.
出处
《电力系统自动化》
EI
CSCD
北大核心
1990年第3期57-64,共8页
Automation of Electric Power Systems