《硬件设计验证:基于模拟与形式的方法》978-7-121-19583-9.pdf-拉姆 (美) (Lam, William K.) 著-电子书下载-云上书馆

下载本书 下载格式： pdf格式 epub格式 接收邮箱(本功能测试中)： 分享给好友: 硬件设计验证:基于模拟与形式的方法; 作者：拉姆 (美) (Lam, William K.) 著; 出版社：电子工业出版社; ISBN：978-7-121-19583-9; 出版年：2013

硬件设计验证:基于模拟与形式的方法简介

本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期、形式验证背景知识、判定图与SAT问题、符号计算与模型检验。并列题名：Hardware design verification eng

硬件设计验证:基于模拟与形式的方法电子版图书下载地址：