The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
We study simulation of gate circuits in the infinite algebra of transients recently introduced by Brzozowski and Ésik. A transient is a word consisting of alternating s and s; it represents a changing signal. In the algebra of transients, gates process transients instead of s and s. Simulation in this algebra is capable of counting signal changes and detecting hazards. We study two simulation algorithms: a general one that works with any initial state, and a special one that applies only if...
We study simulation of gate circuits in the infinite algebra of
transients recently introduced by Brzozowski and Ésik. A transient
is a word consisting of alternating s and s; it represents a
changing signal. In the algebra of transients, gates process
transients instead of s and s. Simulation in this algebra is
capable of counting signal changes and detecting hazards. We study
two simulation algorithms: a general one that works with any initial
state, and a special one that applies only if the...
Download Results (CSV)