Functional Verification of Dynamically Reconfigurable FPGA-based Systems

Mã QR

Functional Verification of Dynamically Reconfigurable FPGA-based Systems

This book analyzes the challenges in verifying Dynamically Reconfigurable Systems (DRS) with respect to the user design and the physical implementation of such systems. The authors describe the use of a simulation-only layer to emulate the behavior of target FPGAs and accurately model the characteri...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Gong, Lingkan, Diessel, Oliver
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer 2015
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/57984
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ự

ASIC and FPGA verification :
Bỡi: Munden, Richard
Được phát hành: (2005)

Dynamic System Reconfiguration in Heterogeneous Platforms
Bỡi: Voros, Nikolaos, et al.
Được phát hành: (2020)

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

Real-Time software design and analysis of reconfigurable multi-Sensor based systems /
Bỡi: Stewart, David Bernard.
Được phát hành: (1994)

Changeable and Reconfigurable Manufacturing Systems
Bỡi: ElMaraghy, Hoda A.
Được phát hành: (2020)

Functional Verification of Programmable Embedded Architectures
Bỡi: Mishra, Prabhat, et al.
Được phát hành: (2020)

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

Distribution system reconfiguration using the PC cluster based parallel adaptive evolutionary algorithm /

System Level Design of Reconfigurable Systems-on-Chip
Bỡi: Voros, Nikolaos, et al.
Được phát hành: (2020)

Comprehensive functional verification the complete industry cycle
Bỡi: Wile, Bruce
Được phát hành: (2005)

Logic Synthesis for FPGA-Based Control Units
Bỡi: Barkalov, Alexander, et al.
Được phát hành: (2020)

FPGA-based Digital Convolution for Wireless Applications
Bỡi: Guan, Lei
Được phát hành: (2020)

Musicbot: Edutainment with a reconfigurable robotic system
Bỡi: Lê, Văn Tùng, et al.
Được phát hành: (2023)

Design of FPGA-Based Computing Systems with OpenCL. 1st ed. 2018
Bỡi: Waidyasooriya, Hasitha Muthumala, et al.
Được phát hành: (2020)

New methods to engineer and seamlessly reconfigure time triggered Ethernet based systems during runtime based on the PROFINET IRT example
Bỡi: Wisniewski, Lukasz
Được phát hành: (2020)

FPGA Design: Best Practices for Team-based Reuse
Bỡi: Simpson, Philip Andrew
Được phát hành: (2015)

Reconfigurable Computing
Bỡi: Gokhale, Maya B., et al.
Được phát hành: (2020)

Reconfigurable computing :
Được phát hành: (2008)

Integrated Reconfigurable Manufacturing Systems and Smart Value Chain
Bỡi: Abdi, M. Reza, et al.
Được phát hành: (2020)

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

Three-Dimensional Design Methodologies for Tree-based FPGA Architecture
Bỡi: Pangracious, Vinod, et al.
Được phát hành: (2015)

Three-Dimensional Design Methodologies for Tree-based FPGA Architecture
Bỡi: Pangracious, Vinod, et al.
Được phát hành: (2015)

Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks
Bỡi: Usman, Muhammad, et al.
Được phát hành: (2020)

Reconfigurable Distributed Control
Bỡi: benitez, hector, et al.
Được phát hành: (2020)

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

Applied Reconfigurable Computing
Bỡi: Wong, Stephan, et al.
Được phát hành: (2020)

Thiết kế bộ điều khiển dòng điện dựa trên nền tảng FPGA = Current controller design based on FPGA
Bỡi: Đỗ, Văn Cần
Được phát hành: (2023)

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

Embedded systems design and verification
Được phát hành: (2009)

Prototyping of Concurrent Control Systems Implemented in FPGA Devices
Bỡi: Wiśniewski, Remigiusz
Được phát hành: (2020)

AUTHENTICATION OF ENCRYPTED OUTSOURCED DATABASE BASED ON BATCH VERIFICATION
Bỡi: Hồ, Kim Giàu, et al.
Được phát hành: (2023)

Synthesis of Arithmetic Circuits : FPGA, ASIC, and embedded systems
Bỡi: Deschamps, Jean-Pierre
Được phát hành: (2006)

Reconfiguring Knowledge in Higher Education
Bỡi: Maassen, Peter, et al.
Được phát hành: (2020)

Cryptographic Algorithms on Reconfigurable Hardware
Bỡi: Rodriguez-Henriquez, Francisco, 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)

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

Interactive Systems. Design, Specification, and Verification
Bỡi: Doherty, Gavin, et al.
Được phát hành: (2020)

Verification and Evaluation of Computer and Communication Systems
Bỡi: Barkaoui, Kamel, et al.
Được phát hành: (2020)

Interactive Systems. Design, Specification, and Verification
Bỡi: Graham, T. C. Nicholas, et al.
Được phát hành: (2020)

Modeling and verification of real-time systems :
Được phát hành: (2008)