当前位置：首页 > 名称
大约有509,049项符合查询结果项。（搜索耗时：0.6552秒）
为您推荐： 宗教的本质与表现形式 title城市与国家财富 经济生活的基本原则 人与神 宗教生活的理解 宗教生活的理解 数理逻辑基本原理与形式演算第2版 形式的起源
-
硬件设计验证 基于模拟与形式的方法
（美）WilliamK.Lam著2013 年出版377 页ISBN：9787121195839本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...
-
-
-
-
-
-
-
-
-
学科分类
出版时间