Formal System Verification. 1st ed. 2018

QR Kod

Formal System Verification. 1st ed. 2018

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Drechsler, Rolf
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Springer International Publishing 2020
Konular:	Engineering Circuits and Systems Processor Architectures Electronics and Microelectronics, Instrumentation
Online Erişim:	http://doi.org/10.1007/978-3-319-57685-5 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/99590
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Benzer Materyaller

Energy Efficient Embedded Video Processing Systems. 1st ed. 2018
Yazar:: Khan, Muhammad Usman Karim, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Languages, Design Methods, and Tools for Electronic System Design. 1st ed. 2018
Yazar:: Fummi, Franco, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Embedded Software Verification and Debugging
Yazar:: Lettnin, Djones, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Automatic Methods for the Refinement of System Models
Yazar:: Seiter, Julia, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Contactless VLSI Measurement and Testing Techniques. 1st ed. 2018
Yazar:: Sayil, Selahattin
Baskı/Yayın Bilgisi: (2020)

Embedded System Design. 3rd ed. 2018
Yazar:: Marwedel, Peter
Baskı/Yayın Bilgisi: (2020)

In-Memory Computing
Yazar:: Shirinzadeh, Saeideh, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Verification of Simulink/Stateflow Diagrams
Yazar:: Zhan, Naijun, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Embedded Systems Design with Special Arithmetic and Number Systems
Yazar:: Molahosseini, Amir Sabbagh, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Digital Systems
Yazar:: Deschamps, Jean-Pierre, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

System-on-Chip Security
Yazar:: Farahmandi, Farimah, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Introduction to Embedded Systems
Yazar:: Jiménez, Manuel, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

System Verilog Assertions and Functional Coverage
Yazar:: Mehta, Ashok B.
Baskı/Yayın Bilgisi: (2020)

Heterogeneous Memory Organizations in Embedded Systems
Yazar:: Quirós, Miguel Peón, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

System-Scenario-based Design Principles and Applications
Yazar:: Catthoor, Francky, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Handbook of Digital CMOS Technology, Circuits, and Systems
Yazar:: Abbas, Karim
Baskı/Yayın Bilgisi: (2020)

Languages, Design Methods, and Tools for Electronic System Design
Yazar:: Kazmierski, Tom J., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

High-Level Modeling and Synthesis of Analog Integrated Systems
Yazar:: Martens, Ewout S. J., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Model-Implementation Fidelity in Cyber Physical System Design
Yazar:: Molnos, Anca, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Hardware Protection through Obfuscation
Yazar:: Forte, Domenic, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Optimized ASIP Synthesis from Architecture Description Language Models
Yazar:: Schliebusch, Oliver, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Structured Analog CMOS Design
Yazar:: Stefanovic, Danica, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Designing with Xilinx® FPGAs
Yazar:: Churiwala, Sanjay
Baskı/Yayın Bilgisi: (2020)

Fundamentals of Computer Architecture and Design
Yazar:: Bindal, Ahmet
Baskı/Yayın Bilgisi: (2020)

Analog Integrated Circuit Design Automation
Yazar:: Martins, Ricardo, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

On-Chip Current Sensors for Reliable, Secure, and Low-Power Integrated Circuits
Yazar:: Bastos, Rodrigo Possamai, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Foundations of Hardware IP Protection
Yazar:: Bossuet, Lilian, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Design and Test Strategies for 2D/3D Integration for NoC-based Multicore Architectures
Yazar:: Manna, Kanchan, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Hardware IP Security and Trust
Yazar:: Mishra, Prabhat, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Hardware Security and Trust
Yazar:: Sklavos, Nicolas, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Transaction-Level Power Modeling
Yazar:: Darwish, Amr Baher, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Introduction to Reconfigurable Computing
Yazar:: Bobda, Christophe
Baskı/Yayın Bilgisi: (2020)

Parallel Sparse Direct Solver for Integrated Circuit Simulation
Yazar:: Chen, Xiaoming, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Ageing of Integrated Circuits
Yazar:: Halak, Basel
Baskı/Yayın Bilgisi: (2020)

Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects
Yazar:: Lourenço, Nuno, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Low-Power Design and Power-Aware Verification. 1st ed. 2018
Yazar:: Khondkar, Progyna
Baskı/Yayın Bilgisi: (2020)

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Yazar:: Przigoda, Nils, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

ASIC/SoC Functional Design Verification. 1st ed. 2018
Yazar:: Mehta, Ashok B.
Baskı/Yayın Bilgisi: (2020)

Embedded Flash Memory for Embedded Systems: Technology, Design for Sub-systems, and Innovations. 1st ed. 2018
Yazar:: Hidaka, Hideto
Baskı/Yayın Bilgisi: (2020)

Brain-Machine Interface. 1st ed. 2018
Yazar:: Liu, Xilin, ve diğerleri
Baskı/Yayın Bilgisi: (2020)