驗證的方法篇之三：開發環境

如果我們將影響驗證編碼效率的因素分爲「硬件因素」和「軟件因素」，那麼硬件因素的配置在短期是可以補齊的，而軟件因素則會設計到驗證人員的技術能力、調試能力和其它軟實力。所以從實用的角度上來看，如果準備在驗證道路上長期深耕的話，更早地提高硬件環境配置是一筆越早投入收益越大的事情。 如果這是一篇知乎上的文章我的筆風可能是這樣的—— [1]首先你的保證你的手、肩、頸、腰在十年以後還是你的。 [2]其次你需要

>>阅读原文<<