- file is the file to write to, default is /tmp/state-assertion-$USER.gz
- compression is the compression used on the file (none, gz), default is a guess based on file name
- object is the simics object whose state will be recorded, the object must implement the save_state interface
- steps is the number of steps between each state recording, default is 1.
- type is the type of state saved in the file (for devices that provide several, the most complete state is saved by default).