《数字集成电路设计验证:量化评估、激励生成、形式化验证》是科学出版社出版的图书。内容涉及数字集成电路设计验证的三个主要方面:量化评估、激励生成和形式化验证。
本词条最后更新于 2026-06-30 11:16:56