2 hold checks - why?

I don't know about "two" hold time per each flip(I don't use TimeQuest) but I thought it is one hold time and is the time between flip1 data launch edge[+ data delay - clk delay] and flip2 clk latch edge. Not the opposite way.(flip1 inputs to flip2)

You're probably looking at the documentation, which I think it too technical and more confusing than it should be. 99% of the time these two checks are identical. And if they're not, TimeQuest only uses the most restrictive of the two. So if you're not sure what the hold requirement will be, do a report_timing between the two nodes(or clocks) in question and see what the launch and latch times are. Look at them in the timing waveform and see if it makes sense. My guess is it will make a lot more sense then following those checks.

I'm not a big fan of Altera documentation but usually it's my starting point. I think the example in the documentation has a funny shaped clock waveform which results in two different setup relationships. I guess it's to cover that scenario.

The documentation, and TimeQuest in general, is designed to handle all sorts of complicated issues that are rarely done in practice. I find most designs the clock requirements are quite simple. And in the complicated cases, users spend a lot of time looking at their constraints, drawing it out, and trying to figure out what's going to happen. It's so much easier to just put in a first guess, run it through TimeQuest, and see how it uses it. If it's not what you want, make a change. Multicycles are a great example of this, where it's often easier to just put in a value and check it, then understand all the possibilities of what a Multicycle can do. (Just be sure to check setup and hold...)

Thanks.

What document are you looking at? Note that for a given path TimeQuest only analyzes the most restrictive hold requirement, since if it passes that, it passes any less restrictive checks. So every launch edge must make sure it passes its own hold requirement. The quote "well you have to check the current launch against the previous latch and the current latch against the next launch" can be re-interpreted so the latter part is just a check of subsequent launch edges to subsequent latch edges. I personally would say there are more than 2 hold checks. Think of an 8ns clock feeding a 10ns clock. The first rising edge at time 0 has a hold requirement of 0ns to the latch edge at time 0ns(assuming no MCs). This happens to be the most restrictive hold requirement. But the next launch edge at time 8ns has a -8ns hold requirement to the latch edge at time 0ns. The launch at time 16ns has a -6ns hold requirement to the latch at time 10ns. There is also a -4ns and -2ns hold requirement before the pattern starts repeating. (These are edge aligned so the first requirement happened to be the most restrictive. But, for example, on a setup requirement where a 10ns clock feeds an 8ns clock, the most restrictive setup will be 2ns, with a launch at time 30ns and latch at time 32ns). And if the clocks even stranger frequencies, it gets worse, to the point I can't easily figure it out(i.e. when a 4.567ns clock feeds a 7.890ns clock.) Of course, these should just be considered asynchronous. But the directions should show how TQ analyzes them.

http://www.altera.com/literature/hb/qts/qts_qii5v3_02.pdf (http://www.altera.com/literature/hb/qts/qts_qii5v3_02.pdf)

I made some reading of TimeQuest and my understanding is this: