验证化设计

词语释义
yàn zhèng huà shè jì | ㄧㄢˋ ㄓㄥˋ ㄏㄨㄚˋ ㄕㄜˋ ㄐㄧˋ
拼音字母
yan zheng hua she ji
拼音首字母
yzhsj
注音符号
ㄧㄢ ㄓㄥ ㄏㄨㄚ ㄕㄜ ㄐㄧ

百科释义

《数字集成电路设计验证:量化评估、激励生成、形式化验证》是科学出版社出版的图书。内容涉及数字集成电路设计验证的三个主要方面:量化评估、激励生成和形式化验证。

组词