Function Interrupt At

None

Format:

interrupt at index: i time: t

Input:

Output:

Conditional properties that reference this function:

• if interrupt at index: 0 time: t = 1, then the PC at time (t + 1) = 1

  (link)

• if interrupt at index: x time: t = 1, then interrupt at index: x time: (t + 1) = 0

  (link)

• if interrupt at index: x time: t = 1, then value of cell idx at time (t + 1) = value of cell idx at time t

  (link)

• if interrupt at index: 1 time: t = 1, then the PC at time (t + 1) = 2

  (link)

• if the following are true:

  • value of cell 49 at time t = 1
  • disk bytes read at time t = value of cell 46 at time t
  • value of cell 48 at time t = 0

  then interrupt at index: 1 time: (t + 1) = 1

  (link)

Comments

Please log in to add comments