【词语名称】验证化设计（yanzhenghuasheji）
【词语拼音】yan zheng hua she ji
【词语读音】yàn zhèng huà shè jì
【词语简拼】YZHSJ
【网络释义】 《数字集成电路设计验证：量化评估、激励生成、形式化验证》是科学出版社出版的图书。内容涉及数字集成电路设计验证的三个主要方面：量化评估、激励生成和形式化验证。
【分字组词】化字组词 计字组词 设字组词 证字组词 验字组词
