硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches

（美）William K. Lam著 王维维译