SystemVerilog for Verification

Mã QR

SystemVerilog for Verification

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Spear, Chris
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer US 2020
Những chủ đề:	Engineering Circuits and Systems Electronics and Microelectronics, Instrumentation Computer-Aided Engineering (CAD, CAE) and Design
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/84539
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ữ:	Thư viện Trường Đại học Đà Lạt

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

Verilog and SystemVerilog Gotchas
Bỡi: Sutherland, Stuart, et al.
Được phát hành: (2020)

Hardware Verification with System Verilog
Bỡi: Mintz, Mike, et al.
Được phát hành: (2020)

A Practical Guide for SystemVerilog Assertions
Bỡi: Vijayaraghavan, Srikanth, et al.
Được phát hành: (2020)

Design for Manufacturability and Yield for Nano-Scale CMOS
Bỡi: Chiang, Charles, et al.
Được phát hành: (2020)

CMOS Current-Mode Circuits for Data Communications
Bỡi: Yuan, Fei
Được phát hành: (2020)

Nanometer Technology Designs
Bỡi: Ahmed, Nisar
Được phát hành: (2020)

Low-Power High-Level Synthesis for Nanoscale CMOS Circuits
Bỡi: Mohanty, Saraju P., et al.
Được phát hành: (2020)

Static Timing Analysis for Nanometer Designs
Bỡi: Bhasker, J., et al.
Được phát hành: (2020)

Open Verification Methodology Cookbook
Bỡi: Glasser, Mark
Được phát hành: (2020)

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

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

Taxonomies for the Development and Verification of Digital Systems
Bỡi: Bailey, Brian, et al.
Được phát hành: (2020)

Embedded System Design
Bỡi: Gajski, Daniel D., et al.
Được phát hành: (2020)

Rapid Prototyping of Digital Systems
Bỡi: Hamblen, James O., et al.
Được phát hành: (2020)

System Verilog Assertions and Functional Coverage
Bỡi: Mehta, Ashok B.
Được phát hành: (2020)

Clocking in Modern VLSI Systems
Bỡi: Xanthopoulos, Thucydides
Được phát hành: (2020)

Routing Congestion in VLSI Circuits
Bỡi: Saxena, Prashant, et al.
Được phát hành: (2020)

Global Specification and Validation of Embedded Systems
Bỡi: Nicolescu, G., et al.
Được phát hành: (2020)

Metric Driven Design Verification
Bỡi: Carter, Hamilton B., et al.
Được phát hành: (2020)

Formal System Verification. 1st ed. 2018
Bỡi: Drechsler, Rolf
Được phát hành: (2020)

Nanosystems Design and Technology
Bỡi: DeMicheli, Giovanni, et al.
Được phát hành: (2020)

Full-Chip Nanometer Routing Techniques
Bỡi: Ho, Tsung-Yi, et al.
Được phát hành: (2020)

Functional Design Errors in Digital Circuits
Bỡi: Chang, Kai-hui, et al.
Được phát hành: (2020)

Carbon Nanotube Electronics
Bỡi: Javey, Ali, et al.
Được phát hành: (2020)

Timing Optimization Through Clock Skew Scheduling
Bỡi: Kourtev, Ivan S., et al.
Được phát hành: (2020)

Creating Assertion-Based IP
Bỡi: Foster, Harry D., et al.
Được phát hành: (2020)

Assertion-Based Design
Bỡi: Foster, Harry D., et al.
Được phát hành: (2020)

Digital Design and Implementation with Field Programmable Devices
Bỡi: Navabi, Zainalabedin
Được phát hành: (2020)

CMOS Active Inductors and Transformers
Bỡi: Yuan, Fei
Được phát hành: (2020)

Closing the Power Gap between ASIC & Custom
Bỡi: Chinnery, David, et al.
Được phát hành: (2020)

Inverse Problems in Electric Circuits and Electromagnetics
Bỡi: Korovkin, N.V., et al.
Được phát hành: (2020)

Automated Technology for Verification and Analysis
Bỡi: Peled, Doron A., et al.
Được phát hành: (2020)

Automated Technology for Verification and Analysis
Bỡi: Namjoshi, Kedar, et al.
Được phát hành: (2020)

Embedded Software Verification and Debugging
Bỡi: Lettnin, Djones, et al.
Được phát hành: (2020)

Design for Manufacturability and Statistical Design
Bỡi: Orshansky, Michael, et al.
Được phát hành: (2020)

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms
Bỡi: Ma, Zhe, et al.
Được phát hành: (2020)

System-level Test and Validation of Hardware/Software Systems
Bỡi: Reorda, Matteo Sonza, et al.
Được phát hành: (2020)

Solid Modeling and Applications
Bỡi: Um, Dugan
Được phát hành: (2020)

Models for Computer Aided Tolerancing in Design and Manufacturing
Bỡi: Davidson, Joseph K.
Được phát hành: (2020)

Millimeter-Wave Low Noise Amplifiers. 1st ed. 2018
Bỡi: Božanić, Mladen, et al.
Được phát hành: (2020)