大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » Generating Hardware Assertion Checkers [electronic resource] : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
| 名称 | Generating Hardware Assertion Checkers [electronic resource] : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring | |
| 索引号 | ||
| 分类号 | (| 08 环境公报) |
|
| 作者 | Boul茅、 Marc.、Zilic、 Zeljko.、SpringerLink (Online service)、 | |
| 出版社 | Dordrecht : Springer Netherlands, 2008. | |
| ISBN | ||
| 页数 | digital. | |
| 价格 | doi | |
| 标签 | ||
| 简介 | ||
| 注解 | ||
粤公网安备 44030602003680号