查詢 ext:Verification (Logic ，共 13 筆
查詢再細分
-
- 語言
- 英語(13)
-
- 作者
- Foster, Harry,(2)
- Singh, Leena,(2)
- Bening, Lionel,(1)
- Bubanovic, Ivan.(1)
- Drucker, Leonard.(1)
- Giacobazzi, Roberto.(1)
- Goss, John C.(1)
- Khann, Neyaz.(1)
- Krolnik, Adam.(1)
- Lacey, David(1)
-
- 資料類型
- 電子書(13)
-
4 0 0 0 0
Verification by error modeling :using testing techniques in hardware verification
- 作者: Radecka, Katarzyna.
- 出版: Boston : Kluwer Academic Publishers 2003.
- 資料類型: 電子書
-
3 0 0 0 0Comprehensive functional verification the complete industry cycle
- 作者: Wile, Bruce.
- 出版: Amsterdam ;Boston : Elsevier/Morgan Kaufmann ©2005.
- 資料類型: 電子書
-
6 0 0 0 0
Advanced verification techniques :a systemC based approach for successful tapeout
- 作者: Singh, Leena,
- 出版: Boston : Kluwer Academic Publishers ©2004.
- 資料類型: 電子書
-
11 0 0 0 0
System-On-A-Chip verification :methodology and techniques
- 作者: Rashinkar, Prakash,
- 出版: New York : Kluwer Academic Publishers ©2002.
- 資料類型: 電子書
-
3 0 0 0 0
ASIC and FPGA verification :a guide to component modeling
- 作者: Munden, Richard.
- 出版: San Francisco, Calif. : Morgan Kaufmann ©2005.
- 資料類型: 電子書
-
8 0 0 0 0
Data Preprocessing, Active Learning, and Cost Perceptive Approaches for Resolving Data Imbalance[electronic resource]
- 作者: Rana, Dipti P.,
- 出版: Hershey, PA : IGI Global 2021.
- 資料類型: 電子書
-
8 0 0 0 0
Interconnection noise in VLSI circuits
- 作者: Moll, Francesc.
- 出版: Boston : Kluwer Academic Publishers ©2004.
- 資料類型: 電子書
-
11 0 0 0 0
Equivalence checking of digital circuits :fundamentals, principles, methods
- 作者: Molitor, Paul.
- 出版: Boston : Kluwer Academic Publishers 2004.
- 資料類型: 電子書
-
12 0 0 0 0
Assertion-based design
- 作者: Foster, Harry,
- 出版: Boston : Kluwer Academic Publishers ©2004.
- 資料類型: 電子書
-
3 0 0 0 0
Static analysis :11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings
- 作者: Giacobazzi, Roberto.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書