Functional Verification Coverage Measurement and Analysis

Κώδικας QR

Functional Verification Coverage Measurement and Analysis

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Piziali, Andrew
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Springer US 2020
Θέματα:	Engineering Circuits and Systems Electrical Engineering Computer-Aided Engineering (CAD, CAE) and Design
Διαθέσιμο Online:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/84966
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

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

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

Open Verification Methodology Cookbook
ανά: Glasser, Mark
Έκδοση: (2020)

Hardware Verification with System Verilog
ανά: Mintz, Mike, κ.ά.
Έκδοση: (2020)

SystemVerilog for Verification
ανά: Spear, Chris
Έκδοση: (2020)

Functional Design Errors in Digital Circuits
ανά: Chang, Kai-hui, κ.ά.
Έκδοση: (2020)

Timing Optimization Through Clock Skew Scheduling
ανά: Kourtev, Ivan S., κ.ά.
Έκδοση: (2020)

Clocking in Modern VLSI Systems
ανά: Xanthopoulos, Thucydides
Έκδοση: (2020)

Creating Assertion-Based IP
ανά: Foster, Harry D., κ.ά.
Έκδοση: (2020)

Assertion-Based Design
ανά: Foster, Harry D., κ.ά.
Έκδοση: (2020)

Digital Design and Implementation with Field Programmable Devices
ανά: Navabi, Zainalabedin
Έκδοση: (2020)

The Universal Generating Function in Reliability Analysis and Optimization
ανά: Levitin, Gregory
Έκδοση: (2020)

Routing Congestion in VLSI Circuits
ανά: Saxena, Prashant, κ.ά.
Έκδοση: (2020)

Rapid Prototyping of Digital Systems
ανά: Hamblen, James O., κ.ά.
Έκδοση: (2020)

Embedded System Design
ανά: Gajski, Daniel D., κ.ά.
Έκδοση: (2020)

Automated Technology for Verification and Analysis
ανά: Peled, Doron A., κ.ά.
Έκδοση: (2020)

Automated Technology for Verification and Analysis
ανά: Namjoshi, Kedar, κ.ά.
Έκδοση: (2020)

Nanosystems Design and Technology
ανά: DeMicheli, Giovanni, κ.ά.
Έκδοση: (2020)

Full-Chip Nanometer Routing Techniques
ανά: Ho, Tsung-Yi, κ.ά.
Έκδοση: (2020)

Static Timing Analysis for Nanometer Designs
ανά: Bhasker, J., κ.ά.
Έκδοση: (2020)

Verilog and SystemVerilog Gotchas
ανά: Sutherland, Stuart, κ.ά.
Έκδοση: (2020)

Global Specification and Validation of Embedded Systems
ανά: Nicolescu, G., κ.ά.
Έκδοση: (2020)

CMOS Active Inductors and Transformers
ανά: Yuan, Fei
Έκδοση: (2020)

Closing the Power Gap between ASIC & Custom
ανά: Chinnery, David, κ.ά.
Έκδοση: (2020)

Inverse Problems in Electric Circuits and Electromagnetics
ανά: Korovkin, N.V., κ.ά.
Έκδοση: (2020)

Design of Embedded Control Systems
ανά: Adamski, Marian Andrzej, κ.ά.
Έκδοση: (2020)

Design for Manufacturability and Statistical Design
ανά: Orshansky, Michael, κ.ά.
Έκδοση: (2020)

Solid Modeling and Applications
ανά: Um, Dugan
Έκδοση: (2020)

Models for Computer Aided Tolerancing in Design and Manufacturing
ανά: Davidson, Joseph K.
Έκδοση: (2020)

Millimeter-Wave Low Noise Amplifiers. 1st ed. 2018
ανά: Božanić, Mladen, κ.ά.
Έκδοση: (2020)

Design for Manufacturability and Yield for Nano-Scale CMOS
ανά: Chiang, Charles, κ.ά.
Έκδοση: (2020)

CMOS Current-Mode Circuits for Data Communications
ανά: Yuan, Fei
Έκδοση: (2020)

Nanometer Technology Designs
ανά: Ahmed, Nisar
Έκδοση: (2020)

Low-Power High-Level Synthesis for Nanoscale CMOS Circuits
ανά: Mohanty, Saraju P., κ.ά.
Έκδοση: (2020)

Carbon Nanotube Electronics
ανά: Javey, Ali, κ.ά.
Έκδοση: (2020)

Advances in Ergonomics of Manufacturing: Managing the Enterprise of the Future. 1st ed. 2018
ανά: Trzcielinski, Stefan
Έκδοση: (2020)

Computational Morphologies. 1st ed. 2018
ανά: Rossi, Michela, κ.ά.
Έκδοση: (2020)

Inhibitory Rules in Data Analysis
Έκδοση: (2020)

Designing Inclusive Futures
ανά: Langdon, P., κ.ά.
Έκδοση: (2020)

Rough Set Theory: A True Landmark in Data Analysis
Έκδοση: (2020)

Collaborative Design and Planning for Digital Manufacturing
ανά: Wang, Lihui, κ.ά.
Έκδοση: (2020)