Tales From The Cube: When a new design is exhibiting strange timing bugs, it can be difficult to decide where to begin your debugging. So, set it up on a testbench, hook it up to an oscilloscope, turn on a desk lamp, and get to work.
There are many tools for tracking assertions during verification, but what about the assumptions the design team has made about the design's environment? They need tracking too.