Dynamic multi-level simulation of digital hardware designs
Article Abstract:
This paper presents the issue of dynamic multi-level simulation of hardware designs that addresses the problem of inefficiency associated with the conventional static multi-level simulation approaches as in ADLIB-SABLE (Hill 1980), DIANA (Demou and Arnout 1979), and SPLICE (Newton 1978). In this approach, digital simulation or verification (McWilliams 1980) of hardware designs is initiated at a high level of abstraction. When detailed results are required for one or more high-level components or for tracing the source of an error to any of the lower-level devices, the appropriate components are expanded into their lower-level implementations. Then simulation of verification initiates at that level. Following completion of execution at the lower level, control returns to the higher level. Consequently, only those subparts of a digital design are selected for expansion and detailed simulation that are dynamically warranted by the higher-level simulation results. Unnecessary simulation effort may be eliminated. Dynamic multi-level simulation or zooming is a generalization of the swapping technique (Szygenda 1973) to functional and fault simulation and timing verification and to the different abstraction levels in the hierarchy between the gate- and behavior-levels. This paper also addresses the implementation of zooming in the rule-based design verifier, RDV (Ghosh 1984), at Stanford University. That RDV used Ada (U.S. Dept. of Defense 1983) as a hardware description language and simulation environment (Ghosh 1985). (Reprinted by permission of the publisher.)
Publication Name: SIMULATION
Subject: Engineering and manufacturing industries
ISSN: 0037-5497
Year: 1987
User Contributions:
Comment about this article or add new information about this topic:
Simulation in the Service of Society
Article Abstract:
The Navy established its first analog simulation facility to test guided missiles in 1950. Although a digital computer facility was available in 1952, the slow discrete operation and poor format of the results made it unsuitable for missile system simulation. Discrete computations were necessary however, for the lethality-survivability simulations developed in 1957 to evaluate missile armaments effectiveness. A diagram presents simulation evolution and a table compares digital and analog simulation techniques.
Publication Name: SIMULATION
Subject: Engineering and manufacturing industries
ISSN: 0037-5497
Year: 1985
User Contributions:
Comment about this article or add new information about this topic:
- Abstracts: Axe: A language for the simulation of digital hardware. DPS - A Digital Simulation Language for the Process Industries
- Abstracts: Fuzzy fundamentals: this orderly design procedure can save time and help prevent problems in the development of fuzzy logic systems
- Abstracts: A simulation model for ergonomic design of industrial processes. Gould Receives Contract to Develop Artificial Intelligence-Based Integrated Circuit Design Aid
- Abstracts: A simulation technique for estimation in perturbed stochastic activity networks. Simultaneous estimation of several percentiles
- Abstracts: MADCAPP: measurement and analysis of high-level communications of asynchronous distributed algorithms on parallel processors