A timing trace is a set of values for the input and the output (and
sometimes the state or other variables of the system, as well) at consecutive
clock times. It is often used to clarify the definition of system
behavior or to describe the behavior of a given system. The inputs are an
arbitrary set of values that might be applied to the system, chosen so as
to demonstrate the behavior of the system. For CE6, the timing trace is
shown in Trace 6.1.