System Verilog Assertions and Functional Coverage

Mã QR

System Verilog Assertions and Functional Coverage

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Mehta, Ashok B.
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer International Publishing 2020
Những chủ đề:	Engineering Circuits and Systems Electronics and Microelectronics, Instrumentation Processor Architectures
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/90769
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ự

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

Embedded Systems Design with Special Arithmetic and Number Systems
Bỡi: Molahosseini, Amir Sabbagh, et al.
Được phát hành: (2020)

Digital Systems
Bỡi: Deschamps, Jean-Pierre, et al.
Được phát hành: (2020)

System-on-Chip Security
Bỡi: Farahmandi, Farimah, et al.
Được phát hành: (2020)

Introduction to Embedded Systems
Bỡi: Jiménez, Manuel, et al.
Được phát hành: (2020)

Automatic Methods for the Refinement of System Models
Bỡi: Seiter, Julia, et al.
Được phát hành: (2020)

Heterogeneous Memory Organizations in Embedded Systems
Bỡi: Quirós, Miguel Peón, et al.
Được phát hành: (2020)

System-Scenario-based Design Principles and Applications
Bỡi: Catthoor, Francky, et al.
Được phát hành: (2020)

Handbook of Digital CMOS Technology, Circuits, and Systems
Bỡi: Abbas, Karim
Được phát hành: (2020)

Languages, Design Methods, and Tools for Electronic System Design
Bỡi: Kazmierski, Tom J., et al.
Được phát hành: (2020)

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

Embedded System Design. 3rd ed. 2018
Bỡi: Marwedel, Peter
Được phát hành: (2020)

High-Level Modeling and Synthesis of Analog Integrated Systems
Bỡi: Martens, Ewout S. J., et al.
Được phát hành: (2020)

Model-Implementation Fidelity in Cyber Physical System Design
Bỡi: Molnos, Anca, et al.
Được phát hành: (2020)

Energy Efficient Embedded Video Processing Systems. 1st ed. 2018
Bỡi: Khan, Muhammad Usman Karim, et al.
Được phát hành: (2020)

Languages, Design Methods, and Tools for Electronic System Design. 1st ed. 2018
Bỡi: Fummi, Franco, et al.
Được phát hành: (2020)

Hardware Protection through Obfuscation
Bỡi: Forte, Domenic, et al.
Được phát hành: (2020)

Optimized ASIP Synthesis from Architecture Description Language Models
Bỡi: Schliebusch, Oliver, et al.
Được phát hành: (2020)

Structured Analog CMOS Design
Bỡi: Stefanovic, Danica, et al.
Được phát hành: (2020)

Designing with Xilinx® FPGAs
Bỡi: Churiwala, Sanjay
Được phát hành: (2020)

Fundamentals of Computer Architecture and Design
Bỡi: Bindal, Ahmet
Được phát hành: (2020)

Analog Integrated Circuit Design Automation
Bỡi: Martins, Ricardo, et al.
Được phát hành: (2020)

On-Chip Current Sensors for Reliable, Secure, and Low-Power Integrated Circuits
Bỡi: Bastos, Rodrigo Possamai, et al.
Được phát hành: (2020)

Foundations of Hardware IP Protection
Bỡi: Bossuet, Lilian, et al.
Được phát hành: (2020)

Contactless VLSI Measurement and Testing Techniques. 1st ed. 2018
Bỡi: Sayil, Selahattin
Được phát hành: (2020)

Design and Test Strategies for 2D/3D Integration for NoC-based Multicore Architectures
Bỡi: Manna, Kanchan, et al.
Được phát hành: (2020)

Hardware IP Security and Trust
Bỡi: Mishra, Prabhat, et al.
Được phát hành: (2020)

Hardware Security and Trust
Bỡi: Sklavos, Nicolas, et al.
Được phát hành: (2020)

Transaction-Level Power Modeling
Bỡi: Darwish, Amr Baher, 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)

In-Memory Computing
Bỡi: Shirinzadeh, Saeideh, et al.
Được phát hành: (2020)

Introduction to Reconfigurable Computing
Bỡi: Bobda, Christophe
Được phát hành: (2020)

Parallel Sparse Direct Solver for Integrated Circuit Simulation
Bỡi: Chen, Xiaoming, et al.
Được phát hành: (2020)

Ageing of Integrated Circuits
Bỡi: Halak, Basel
Được phát hành: (2020)

Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects
Bỡi: Lourenço, Nuno, et al.
Được phát hành: (2020)

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

SystemVerilog for Verification
Bỡi: Spear, Chris
Được phát hành: (2020)

Introduction to Logic Circuits & Logic Design with Verilog
Bỡi: LaMeres, Brock J.
Được phát hành: (2020)

Quick Start Guide to Verilog. 1st ed.
Bỡi: LaMeres, Brock J.
Được phát hành: (2020)

Introduction to Logic Circuits & Logic Design with Verilog. 2nd ed.
Bỡi: LaMeres, Brock J.
Được phát hành: (2020)