A significant trend in computer design in recent years has been the replacement of the hardware control section by a microprogrammed control. The main reason for this shift is the inherent flexibility of a microprogrammed computer and also its economic superiority over the conventional hardware control implementation.
For this microprogramming, a designer makes a system which is consisted of basic hardware resources, having user programming facilities, and of digital components controlling that hardware resources.
Then simulator has been widely used to validate the correctness of the produced micro-codes. In this point, general simulator is needed and it is also required to define the microprogram correctness.
In this thesis, some basic works for general simulator have been done and with these, as an example, the ascending sorting microprogram is executed in 2900 family. In doing so, the correctness using the definition of the microprogram was checked.