Taxonomies for the Development and Verification of Digital Systems

Mã QR

Taxonomies for the Development and Verification of Digital Systems

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Bailey, Brian, Martin, Grant, Anderson, Thomas
Đị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 Logic Design
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/84941
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ự

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

Advanced Boolean Techniques
Bỡi: Drechsler, Rolf, et al.
Được phát hành: (2020)

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

High-Speed Digital System Design
Bỡi: Belous, Anatoly, 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)

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

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

Analog/Digital Implementation of Fractional Order Chaotic Circuits and Applications
Bỡi: Tlelo-Cuautle, Esteban, 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)

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

Electronics for Embedded Systems
Bỡi: Bindal, Ahmet
Được phát hành: (2020)

Fault Diagnosis of Analog Integrated Circuits
Bỡi: Kabisatpathy, Prithviraj, et al.
Được phát hành: (2020)

Sensor Circuits and Switching for Stringed Instruments
Bỡi: Baker, Donald L.
Được phát hành: (2020)

Electric Circuits, Systems, and Motors
Bỡi: Bigelow, Timothy A.
Được phát hành: (2020)

Inkjet-Configurable Gate Array
Bỡi: Mashayekhi, Mohammad
Được phát hành: (2020)

Test Pattern Generation using Boolean Proof Engines
Bỡi: Drechsler, Rolf, et al.
Được phát hành: (2020)

Statistical Analysis and Optimization for VLSI: Timing and Power
Bỡi: Srivastava, Ashish, et al.
Được phát hành: (2020)

Data Mining and Diagnosing IC Fails
Bỡi: Huisman, Leendert M.
Được phát hành: (2020)

Wireless Power Transfer and Data Communication for Intracranial Neural Recording Applications
Bỡi: Türe, Kerim, et al.
Được phát hành: (2020)

Classical Circuit Theory
Bỡi: Wing, Omar
Được phát hành: (2020)

Power Management for Wearable Electronic Devices
Bỡi: Kilani, Dima, et al.
Được phát hành: (2020)

Integrated Circuit Packaging, Assembly and Interconnections
Bỡi: Greig, William
Được phát hành: (2020)

Real-Time Applications with Stochastic Task Execution Times
Bỡi: Manolache, Sorin, et al.
Được phát hành: (2020)

Yield-Aware Analog IC Design and Optimization in Nanometer-scale Technologies. 1st ed.
Bỡi: Canelas, António Manuel Lourenço, 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)

Low-Frequency Noise in Advanced MOS Devices
Bỡi: Haartman, Martin, et al.
Được phát hành: (2020)

Introduction to Advanced System-on-Chip Test Design and Optimization
Bỡi: Larsson, Erik
Đượ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)

Handheld Total Chemical and Biological Analysis Systems. 1st ed. 2018
Bỡi: Lei, Ka-Meng, 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)

System-on-Chip Security
Bỡi: Farahmandi, Farimah, 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)

Advances in Memristors, Memristive Devices and Systems
Bỡi: Vaidyanathan, Sundarapandian, 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)

Microelectronic Circuit Design for Energy Harvesting Systems
Bỡi: Emilio, Maurizio Di Paolo
Được phát hành: (2020)

Charge-Sharing SAR ADCs for Low-Voltage Low-Power Applications
Bỡi: Rabuske, Taimur, et al.
Được phát hành: (2020)

Design and Testing of Reversible Logic
Bỡi: Singh, Ashutosh Kumar, et al.
Được phát hành: (2020)

Nanometer CMOS ICs
Bỡi: Veendrick, Harry J.M.
Được phát hành: (2020)