Timestamps Example
CE-653 - Hazards and Analysis Methods
30
}In this example both inputs come from different groups: i1, i2
}Thus a new group id, i3, is generated
}
}
}
}
}
}
}
}cases (a), (b): output transition depends on both input transitions
}cases (c), (d): output transition depends on first input transition
}Cases (a), (b): i3 is denoted as successor of i1, i2
}Group masks:
}i1i2i3(i1)= 100, i1i2i3(i2)= 010, i3i2i1(i3) = 011
}Cases (c), (d): i3 is not denoted as successor of i1, i2
timestamps.jpg
18/3/2014