You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
CdM-16/e architecture has an important invariant - when conditions for an exception are met, processor must not change its external state, as it can potentially affect these conditions.
Currently, this invariant is broken. When fetching an instruction, exception request via EXC pin alters processor's external state.
This happens because exception request triggers latch_int signal, that, combined with fetch, activates inhibit_microcode, which sets all external pins to some default state.
Proposed solution: Gate latch_int & fetch branch with exc_triggered signal so that it activates only when processor fetches an interrupt virtual instruction.
The text was updated successfully, but these errors were encountered:
CdM-16/e architecture has an important invariant - when conditions for an exception are met, processor must not change its external state, as it can potentially affect these conditions.
Currently, this invariant is broken. When fetching an instruction, exception request via
EXC
pin alters processor's external state.This happens because exception request triggers
latch_int
signal, that, combined withfetch
, activatesinhibit_microcode
, which sets all external pins to some default state.Proposed solution: Gate
latch_int & fetch
branch withexc_triggered
signal so that it activates only when processor fetches an interrupt virtual instruction.The text was updated successfully, but these errors were encountered: