Comprehensive functional verification the complete industry cycle

QR Code (код быстрого отклика)

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
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

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, et al.
Опубликовано: (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, et al.
Опубликовано: (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, et al.
Опубликовано: (2024)

VLSI test principles and architectures :
Опубликовано: (2006)

Logic synthesis and verification algorithms
по: Hachtel, Gary D
Опубликовано: (2006)

Building a Supply-demand Connection Website Integrated with AI for Agricultural Product Data Verification
по: Bui, Quoc Dat, et al.
Опубликовано: (2026)

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, et al.
Опубликовано: (2015)

Modeling and verification of real-time systems :
Опубликовано: (2008)

Functional Verification of Programmable Embedded Architectures
по: Mishra, Prabhat, et al.
Опубликовано: (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)

Verification and validation for quality of UML 2.0 madels
по: Unhelkar, Bhuvan
Опубликовано: (2005)

Towards a Model for Integrating Process Verification in Process-Driven Application Development
по: Nguyen, Thanh Tuan, et al.
Опубликовано: (2025)

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)

Verification of PLC programs written in FBD with VIS /
по: Yoo, Jun-Beom.

CMOS :
по: Baker, R. Jacob
Опубликовано: (2019)

CMOS VLSI design :
по: Weste, Neil H. E.
Опубликовано: (2011)

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, et al.
Опубликовано: (2015)

Formal Verification of Simulink/Stateflow Diagrams
по: Zhan, Naijun, et al.
Опубликовано: (2020)

CMOS current-mode circuits for data communications
по: Yuan, Fei
Опубликовано: (2007)