成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
A great editor knows when to hold and when to fold.
简单比复杂更难：你必须努力工作，才能让你的思维变得清晰，以便使事情变得简单。
每一次挫折都是为了更好的回归做准备。
Your margin is my opportunity.
大多数人的问题在于他们用希望、恐惧或愿望来思考，而不是用他们的头脑。
