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