Test Pattern Generation using Boolean Proof Engines

Mã QR

Test Pattern Generation using Boolean Proof Engines

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Drechsler, Rolf, Eggersglüß, Stephan, Fey, Görschwin, Tille, Daniel
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer Netherlands 2020
Những chủ đề:	Engineering Circuits and Systems Electronics and Microelectronics, Instrumentation
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/84664
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ự

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)

In-Memory Computing
Bỡi: Shirinzadeh, Saeideh, 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)

System-level Test and Validation of Hardware/Software Systems
Bỡi: Reorda, Matteo Sonza, 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)

Next Generation Spin Torque Memories
Bỡi: Kaushik, Brajesh Kumar, et al.
Được phát hành: (2020)

Practical Electrical Engineering. 1st ed.
Bỡi: Makarov, Sergey N., et al.
Được phát hành: (2020)

Design, Automation, and Test in Europe
Bỡi: Lauwereins, Rudy, 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)

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)

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

Inkjet-Configurable Gate Array
Bỡi: Mashayekhi, Mohammad
Đượ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)

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

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)

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

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

High-Frequency GaN Electronic Devices
Bỡi: Fay, Patrick, et al.
Được phát hành: (2020)

Inverter-Based Circuit Design Techniques for Low Supply Voltages
Bỡi: Palani, Rakesh Kumar, et al.
Được phát hành: (2020)

Wideband Continuous-time ΣΔ ADCs, Automotive Electronics, and Power Management
Bỡi: Baschirotto, Andrea, et al.
Được phát hành: (2020)

Shielding of Electromagnetic Waves
Bỡi: Kunkel, George M.
Được phát hành: (2020)

Design of CMOS Analog Integrated Fractional-Order Circuits
Bỡi: Tsirimokou, Georgia, et al.
Được phát hành: (2020)

Non-logic Devices in Logic Processes
Bỡi: Ma, Yanjun, et al.
Được phát hành: (2020)

Automated Electronic Filter Design
Bỡi: Banerjee, Amal
Được phát hành: (2020)

Noise in Nanoscale Semiconductor Devices. 1st ed.
Bỡi: Grasser, Tibor
Được phát hành: (2020)

Integrated High-Vin Multi-MHz Converters
Bỡi: Wittmann, Jürgen
Được phát hành: (2020)

MEMS Lorentz Force Magnetometers. 1st ed. 2018
Bỡi: Buffa, Cesare
Được phát hành: (2020)

Tantalum and Niobium-Based Capacitors. 1st ed. 2018
Bỡi: Freeman, Yuri
Được phát hành: (2020)

High-Resolution and High-Speed Integrated CMOS AD Converters for Low-Power Applications . 1st ed. 2018
Bỡi: Li, Weitao, et al.
Được phát hành: (2020)

Memristor Technology: Synthesis and Modeling for Sensing and Security Applications. 1st ed. 2018
Bỡi: Abunahla, Heba, et al.
Được phát hành: (2020)

ZnO Thin-Film Transistors for Cost-Efficient Flexible Electronics. 1st ed. 2018
Bỡi: Vidor, Fábio Fedrizzi, et al.
Được phát hành: (2020)