A new simulator development environment was constructed in this thesis. The environment is called RTL++ and the RTL++ is designed to develop simulators for digital systems at the register transfer level and to get a high speed digital system simulator.
Digital systems are modeled by RTL++ with the DEVS(Discrete EVent system Specification) formalism because the digital systems are the discrete systems at the register transfer level. The DEVS formalism is a tool for describing a discrete system according to the dynamic simulation model with the next event time advance mechanism. And the RTL++ supports other tools for what is not enough to describe the digital systems with only the DEVS formalism. The RTL++ develops simulators with compilation in order to improve the speed of the simulators. The RTL++ supports hierarchical and modularized descriptions and supports the object oriented environments.
The RTL++ was used to develop the microprocessor simulator and 386 PC simulator in this paper. The simulators were used to run and debug the microprograms for the microprocessor that is compatible with Intel's i386 microprocessor. This confirms that the RTL++ is practical and can implement high speed digital system simulators.