}Goal:
}Separate hazards (1/2 value is X here)
from transitions
}Previous
algorithms are often very pessimistic for many types of asynchronous circuits
}Each
triplet represents transition from a signal state to another and the intermediate state, e.g. <1, v,
0>