当前位置：首页 > 名称
大约有579,881项符合查询结果项。（搜索耗时：0.6891秒）
为您推荐： title回忆空间 文化记忆的形式和变迁 建筑 形式 空间和秩序 title银翅 中国的地方社会与文化变迁增订本 集体记忆 公众历史与城市景观 多伦多市肯辛顿街区的世纪变迁 建筑 形式空间和秩序 第2版 建筑形式空间和秩序
-
-
-
-
-
-
-
-
-
-
硬件设计验证 基于模拟与形式的方法
（美）WilliamK.Lam著2013 年出版377 页ISBN：9787121195839本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...
学科分类
出版时间