搜索：硬件设计验证
硬件设计验证 基于模拟与形式的方法
文件大小：260MB 标注页数：377页 文件页数：393页
MD5：c0c7cdc33263e6c2fe4bf774fde537bf
ISBN：9787121195839
出版社：北京：电子工业出版社
作者：（美）WilliamK.Lam著
出版时间：2013
ARM SoC设计的软件和硬件协同验证
文件大小：29MB 标注页数：178页 文件页数：197页
MD5：f4f7f63e36b816580f871d024af77db5
ISBN：7810777521
出版社：北京：北京航空航天大学出版社
作者：（美）Jason Andrews著；周立功等译
出版时间：2006
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
文件大小：83MB 标注页数：359页 文件页数：373页
MD5：cc329030c3e26d303c4383b913bb4efc
ISBN：7111195027
出版社：北京：机械工业出版社
作者：（美）William K. Lam著；王维维译
出版时间：2007