大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 assertion 的图书(共5本)

Assertion : new philosophical essays

0
索取号：
作者：
出版社：Oxford ; New York : Oxford University Press, 2014.

Generating Hardware Assertion Checkers [electronic resource] : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring

0
索取号：
作者：Boul茅、 Marc.、Zilic、 Zeljko.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2008.

Assertion-Based Design [electronic resource]

0
索取号：
作者：Foster、 Harry.、Krolnik、 Adam.、Lacey、 David.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2005.

Creating Assertion-Based IP [electronic resource]

0
索取号：
作者：Foster、 Harry D.、Krolnik、 Adam C.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2008.

System Verilog Assertions应用指南

0
索取号：TN431.202/20091
作者：维加亚拉哈文、 S.、拉马纳坦、 M.、陈俊杰、
出版社：北京 : 清华大学出版社, 2006