state-assertion-open-file state-assertion-simple-assert
Simics Reference Manual  /  3 Commands  /  3.2 Command List  / 

state-assertion-receive

Synopsis

state-assertion-receive [port] ["compression"] ["name"] [post_events]

Description

Wait for a connection (state-assertion-connect) from a sender. The data received from the sender will be compared against the current execution.

- port indicates where Simics should wait for the connection, default is 6666
- compression is the compression used on the file (none, gz), default is "none"
- name is the name of the object, default is saX is where X is a number.
- post_events tells state-assertion that sender posts events for comparing, default is true.

Provided By

state-assertion
state-assertion-open-file state-assertion-simple-assert