A simulation system includes a display, a model producing section and a
first simulator. The model producing section produces a clock level
simulation model and a first table from an algorithm description model and
model interface data indicative of input and output of variables related
to the algorithm description model. The clock level simulation model is
used for simulating operations of resources in units of groups of
allowable status transitions of the variables under constraint condition
of the resources. The first table indicating correspondence relationship
between the variables and the resources in units of status positions. The
first simulator carries out the simulation of the algorithm description
model to output variable values in each of the status positions.
