Simics includes a configuration system used to describe the state of the simulated machines.
Simics's configuration system is object-oriented: a simulated machine is represented as a set of objects that interact when the simulated time advances. Typically, processors, memories and devices are modeled as objects. Each object is defined by a number of properties that are called attributes. A processor object, for example, will have an attribute called freq_mhz to define its clock frequency (in MHz).
Simics's configuration system is flexible: it is possible to create and delete objects dynamically, as well as access the attributes of all objects for reading and writing at any time.
Simics's configuration system allows its elements to be saved so that a complete simulated machine state can be written to a set of files. This set of files is called a checkpoint.
This chapter describes the Simics configuration system as well as the different layers built on top of it to handle more specific tasks:
6.3 Inspecting the Configuration
6.5 Ready-to-run Configurations