查詢 text:Circuits intégrés Vérification. ，共 5 筆
查詢再細分
-
- 語言
- 英語(5)
-
- 作者
- Alur, Rajeev,(1)
- Andrews, Jason R.(1)
- Bergeron, Janick.(1)
- Foster, Harry,(1)
- Krolnik, Adam.(1)
- Lacey, David(1)
- Peled, Doron A.,(1)
- Wilcox, Paul,(1)
-
- 資料類型
- 電子書(5)
-
3 0 0 0 0Professional verification :a guide to advanced functional verification
- 作者: Wilcox, Paul,
- 出版: Boston : Kluwer Academic ©2004.
- 資料類型: 電子書
-
7 0 0 0 0
Writing testbenches :functional verification of HDL models
- 作者: Bergeron, Janick.
- 出版: Boston : Kluwer Academic ©2000.
- 資料類型: 電子書
-
12 0 0 0 0
Co-verification of hardware and software for ARM SoC design
- 作者: Andrews, Jason R.
- 出版: Burlington, MA : Elsevier Newnes ©2005.
- 資料類型: 電子書
-
7 0 0 0 0
Computer aided verification :16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings
- 作者: Alur, Rajeev,
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
12 0 0 0 0
Assertion-based design
- 作者: Foster, Harry,
- 出版: Boston : Kluwer Academic Publishers ©2004.
- 資料類型: 電子書