A capability list cannot be wrong, which is why it also cannot be persuasive. A statement that
gate-level simulation catches reset behaviour that static timing analysis structurally cannot is either
right or it is not, and an engineer reading it will know within a sentence.
So these pages take that risk deliberately. They describe the flow, the stack, the trade-offs
and the failure modes — including the ones that were expensive to learn.
Detailed discussion, specific foundry and node experience, and mechanism-level security detail all
happen under a non-disclosure agreement. Everything above that line is here.