Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision |
| asic:timing:forks [2024/09/03 14:02] – [Relative timing] rajit | asic:timing:forks [2024/09/03 14:06] (current) – [Relative timing] rajit |
|---|
| Timing fork theory states that if the two transitions are guaranteed to be ordered, then a timing fork/zig-zag that is the basis for the ordering must exist. In other words, a design that uses relative timing constraints can only be correct if a timing fork/zig-zag exists that ensures that the constraint is satisfied. | Timing fork theory states that if the two transitions are guaranteed to be ordered, then a timing fork/zig-zag that is the basis for the ordering must exist. In other words, a design that uses relative timing constraints can only be correct if a timing fork/zig-zag exists that ensures that the constraint is satisfied. |
| |
| It is worth noting that a timing fork doesn't //require// that all the transitions occur. It can also refer to only a specific instance of a signal transition if that is all that is required; for example, we could say that the 5th occurence of ''a+'' occurs before the 6th occurrence of ''b-''. | It is worth noting that a timing fork doesn't //require// that all the transitions occur. This is useful when we have data-dependent timing constraints, i.e., where a signal change occurs only in certain cases based data values being computed by the circuit. |