Comprehensive functional verification the complete industry cycle

Κώδικας 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...

Πλήρης περιγραφή

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Wile, Bruce
Μορφή:	Βιβλίο
Γλώσσα:	Undetermined
Έκδοση:	Amsterdam Elsevier/Morgan Kaufmann 2005
Θέματα:	Integrated circuits,Computer engineering,Mạch tích hợp,Kỹ thuật máy tính Verification,Mã xác nhận
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Παρόμοια τεκμήρια

Applied formal verification
ανά: Perry, Douglas L.
Έκδοση: (2005)

Verification techniques for system-level design
ανά: Fujita, Masahiro
Έκδοση: (2008)

Counterfeit Integrated Circuits: Detection and Avoidance
ανά: Tehranipoor, Mark, κ.ά.
Έκδοση: (2015)

ASIC and FPGA verification :
ανά: Munden, Richard
Έκδοση: (2005)

Analysis and design of integrated circuits
Έκδοση: (1967)

Analysis and design of integrated circuits
Έκδοση: (1967)

Building a Blockchain-Based Credential Verification System
ανά: Mai, The Son, κ.ά.
Έκδοση: (2025)

High performance ASIC design : Using synthesizable domino logic in an ASIC flow
ανά: Hossain, Razak
Έκδοση: (2008)

Coplanar microwave integrated circuits
ανά: Wolff, Ingo
Έκδοση: (2006)

Coplanar microwave integrated circuits
ανά: Wolff, Ingo
Έκδοση: (2006)

Standardized Functional Verification
ανά: Wiemann, Alan
Έκδοση: (2020)

Guidance for the verification and validation of neural networks
ανά: Pullum, Laura L.
Έκδοση: (2007)

BERT-Based Model for Vietnamese Fact Verification Dataset
ανά: Tran, Bao, κ.ά.
Έκδοση: (2024)

VLSI test principles and architectures :
Έκδοση: (2006)

Logic synthesis and verification algorithms
ανά: Hachtel, Gary D
Έκδοση: (2006)

Hướng dẫn thí nghiệm DSP sử dụng FPGA
ανά: Nguyễn, Tuấn Phước
Έκδοση: (2014)

Integrated circuit design
ανά: Weste, Neil H. E
Έκδοση: (2011)

Modern semiconductor devices for integrated circuits
ανά: Hu, Chenming
Έκδοση: (2010)

Functional Verification Coverage Measurement and Analysis
ανά: Piziali, Andrew
Έκδοση: (2020)

Design of analog CMOS integrated circuits
ανά: Razavi, Behzad
Έκδοση: (2012)

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
ανά: D'Souza, Deepak, κ.ά.
Έκδοση: (2015)

Modeling and verification of real-time systems :
Έκδοση: (2008)

Functional Verification of Programmable Embedded Architectures
ανά: Mishra, Prabhat, κ.ά.
Έκδοση: (2020)

Verification and validation for quality of UML 2.0 models
ανά: Unhelkar, Bhuvan
Έκδοση: (2005)

Giáo trình thiết kế vi mạch số /
ανά: Bộ Môn Tin Học
Έκδοση: (2018)

Digital design :bprinciples and practices
ανά: Wakerly, John F
Έκδοση: (2018)

Towards a Model for Integrating Process Verification in Process-Driven Application Development
ανά: Nguyen, Thanh Tuan, κ.ά.
Έκδοση: (2025)

Verification and validation for quality of UML 2.0 madels
ανά: Unhelkar, Bhuvan
Έκδοση: (2005)

ASIC/SoC Functional Design Verification. 1st ed. 2018
ανά: Mehta, Ashok B.
Έκδοση: (2020)

Analog VLSI :
ανά: Ismail, Mohammed
Έκδοση: (1994)

High-speed VLSI interconnections
ανά: Goel, Ashok K.
Έκδοση: (2007)

CMOS :
ανά: Baker, R. Jacob
Έκδοση: (2019)

CMOS VLSI design :
ανά: Weste, Neil H. E.
Έκδοση: (2011)

Verification of PLC programs written in FBD with VIS /
ανά: Yoo, Jun-Beom.

Analog VLSI

CMOS VLSI design
ανά: Weste, Neil H. E
Έκδοση: (2011)

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
ανά: Núñez, Manuel, κ.ά.
Έκδοση: (2015)

CMOS current-mode circuits for data communications
ανά: Yuan, Fei
Έκδοση: (2007)

Applications of linear integrated circuits
ανά: Hnatek, Eugene R.
Έκδοση: (1975)

Formal Verification of Simulink/Stateflow Diagrams
ανά: Zhan, Naijun, κ.ά.
Έκδοση: (2020)