词条详情
验证化设计
更新 2026-08-18 01:37:40
| 词语 | 验证化设计 |
|---|---|
| 拼音 | yàn zhèng huà shè jì |
| 拼音字母 | yan zheng hua she ji |
| 拼音首字母 | yzhsj |
| 注音 | ㄧㄢˋ ㄓㄥˋ ㄏㄨㄚˋ ㄕㄜˋ ㄐㄧˋ |
| 注音符号 | ㄧㄢ ㄓㄥ ㄏㄨㄚ ㄕㄜ ㄐㄧ |
扩展释义
《数字集成电路设计验证:量化评估、激励生成、形式化验证》是科学出版社出版的图书。内容涉及数字集成电路设计验证的三个主要方面:量化评估、激励生成和形式化验证。
词条详情
更新 2026-08-18 01:37:40
| 词语 | 验证化设计 |
|---|---|
| 拼音 | yàn zhèng huà shè jì |
| 拼音字母 | yan zheng hua she ji |
| 拼音首字母 | yzhsj |
| 注音 | ㄧㄢˋ ㄓㄥˋ ㄏㄨㄚˋ ㄕㄜˋ ㄐㄧˋ |
| 注音符号 | ㄧㄢ ㄓㄥ ㄏㄨㄚ ㄕㄜ ㄐㄧ |
《数字集成电路设计验证:量化评估、激励生成、形式化验证》是科学出版社出版的图书。内容涉及数字集成电路设计验证的三个主要方面:量化评估、激励生成和形式化验证。