Comprehensive functional verification the complete industry cycle

Mã QR

Comprehensive functional verification the complete industry cycle

A key strength of this book is that it describes the entire verification cycle and details each stage. The organization of the book follows the cycle, demonstrating how functional verification engages all aspects of the overall design effort and how individual cycle stages relate to the larger desig...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Wile, Bruce
Định dạng:	Sách
Ngôn ngữ:	Undetermined
Được phát hành:	Amsterdam Elsevier/Morgan Kaufmann 2005
Những chủ đề:	Integrated circuits,Computer engineering,Mạch tích hợp,Kỹ thuật máy tính Verification,Mã xác nhận
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Trung tâm Học liệu Trường Đại học Cần Thơ

Những quyển sách tương tự

Applied formal verification
Bỡi: Perry, Douglas L.
Được phát hành: (2005)

Verification techniques for system-level design
Bỡi: Fujita, Masahiro
Được phát hành: (2008)

Counterfeit Integrated Circuits: Detection and Avoidance
Bỡi: Tehranipoor, Mark, et al.
Được phát hành: (2015)

ASIC and FPGA verification :
Bỡi: Munden, Richard
Được phát hành: (2005)

Analysis and design of integrated circuits
Được phát hành: (1967)

Analysis and design of integrated circuits
Được phát hành: (1967)

High performance ASIC design : Using synthesizable domino logic in an ASIC flow
Bỡi: Hossain, Razak
Được phát hành: (2008)

Coplanar microwave integrated circuits
Bỡi: Wolff, Ingo
Được phát hành: (2006)

Coplanar microwave integrated circuits
Bỡi: Wolff, Ingo
Được phát hành: (2006)

VLSI test principles and architectures :
Được phát hành: (2006)

Guidance for the verification and validation of neural networks
Bỡi: Pullum, Laura L.
Được phát hành: (2007)

Standardized Functional Verification
Bỡi: Wiemann, Alan
Được phát hành: (2020)

Hướng dẫn thí nghiệm DSP sử dụng FPGA
Bỡi: Nguyễn, Tuấn Phước
Được phát hành: (2014)

Integrated circuit design
Bỡi: Weste, Neil H. E
Được phát hành: (2011)

Modern semiconductor devices for integrated circuits
Bỡi: Hu, Chenming
Được phát hành: (2010)

Logic synthesis and verification algorithms
Bỡi: Hachtel, Gary D
Được phát hành: (2006)

Design of analog CMOS integrated circuits
Bỡi: Razavi, Behzad
Được phát hành: (2012)

Functional Verification Coverage Measurement and Analysis
Bỡi: Piziali, Andrew
Được phát hành: (2020)

Giáo trình thiết kế vi mạch số /
Bỡi: Bộ Môn Tin Học
Được phát hành: (2018)

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Bỡi: D'Souza, Deepak, et al.
Được phát hành: (2015)

Modeling and verification of real-time systems :
Được phát hành: (2008)

Digital design :bprinciples and practices
Bỡi: Wakerly, John F
Được phát hành: (2018)

Verification and validation for quality of UML 2.0 models
Bỡi: Unhelkar, Bhuvan
Được phát hành: (2005)

Functional Verification of Programmable Embedded Architectures
Bỡi: Mishra, Prabhat, et al.
Được phát hành: (2020)

Analog VLSI :
Bỡi: Ismail, Mohammed
Được phát hành: (1994)

Verification and validation for quality of UML 2.0 madels
Bỡi: Unhelkar, Bhuvan
Được phát hành: (2005)

CMOS :
Bỡi: Baker, R. Jacob
Được phát hành: (2019)

CMOS VLSI design :
Bỡi: Weste, Neil H. E.
Được phát hành: (2011)

High-speed VLSI interconnections
Bỡi: Goel, Ashok K.
Được phát hành: (2007)

CMOS current-mode circuits for data communications
Bỡi: Yuan, Fei
Được phát hành: (2007)

CMOS VLSI design
Bỡi: Weste, Neil H. E
Được phát hành: (2011)

Verification of PLC programs written in FBD with VIS /
Bỡi: Yoo, Jun-Beom.

ASIC/SoC Functional Design Verification. 1st ed. 2018
Bỡi: Mehta, Ashok B.
Được phát hành: (2020)

Applications of linear integrated circuits
Bỡi: Hnatek, Eugene R.
Được phát hành: (1975)

Analog VLSI

Digital design
Bỡi: Mano, M. Morris
Được phát hành: (2019)

CMOS digital integrated circuits
Bỡi: Kang, Sung-Mo
Được phát hành: (2015)

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Bỡi: Núñez, Manuel, et al.
Được phát hành: (2015)

Bipolar and mos analog integrated circuit design
Bỡi: Grebene, Alan B.
Được phát hành: (1984)

Formal Verification of Simulink/Stateflow Diagrams
Bỡi: Zhan, Naijun, et al.
Được phát hành: (2020)