当前位置：首页 > 名称
大约有70,000项符合查询结果项。（搜索耗时：0.0629秒）
为您推荐： 股权战略 架构 激励与财富 zy合伙人 股权设计与激励 股权激励 股权激励与 结构设计手册 股权设计风险管理手册 股权激励实战手册
-
数字集成电路设计验证 量化评估、激励生成、形式化验证
李晓维，吕涛，李华伟，李光辉著2010 年出版411 页ISBN：9787030276094本书重点介绍过去五年内取得的相关研究成果，兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证...
-
-
-
-
-
-
-
-
-
学科分类