Formal System Verification. 1st ed. 2018

QR kód

Formal System Verification. 1st ed. 2018

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Drechsler, Rolf
Médium:	Kniha
Jazyk:	English
Vydáno:	Springer International Publishing 2020
Témata:	Engineering Circuits and Systems Processor Architectures Electronics and Microelectronics, Instrumentation
On-line přístup:	http://doi.org/10.1007/978-3-319-57685-5 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/99590
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

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

Podobné jednotky

Energy Efficient Embedded Video Processing Systems. 1st ed. 2018
Autor: Khan, Muhammad Usman Karim, a další
Vydáno: (2020)

Languages, Design Methods, and Tools for Electronic System Design. 1st ed. 2018
Autor: Fummi, Franco, a další
Vydáno: (2020)

Embedded Software Verification and Debugging
Autor: Lettnin, Djones, a další
Vydáno: (2020)

Automatic Methods for the Refinement of System Models
Autor: Seiter, Julia, a další
Vydáno: (2020)

Contactless VLSI Measurement and Testing Techniques. 1st ed. 2018
Autor: Sayil, Selahattin
Vydáno: (2020)

Embedded System Design. 3rd ed. 2018
Autor: Marwedel, Peter
Vydáno: (2020)

In-Memory Computing
Autor: Shirinzadeh, Saeideh, a další
Vydáno: (2020)

Formal Verification of Simulink/Stateflow Diagrams
Autor: Zhan, Naijun, a další
Vydáno: (2020)

Embedded Systems Design with Special Arithmetic and Number Systems
Autor: Molahosseini, Amir Sabbagh, a další
Vydáno: (2020)

Digital Systems
Autor: Deschamps, Jean-Pierre, a další
Vydáno: (2020)

System-on-Chip Security
Autor: Farahmandi, Farimah, a další
Vydáno: (2020)

Introduction to Embedded Systems
Autor: Jiménez, Manuel, a další
Vydáno: (2020)

System Verilog Assertions and Functional Coverage
Autor: Mehta, Ashok B.
Vydáno: (2020)

Heterogeneous Memory Organizations in Embedded Systems
Autor: Quirós, Miguel Peón, a další
Vydáno: (2020)

System-Scenario-based Design Principles and Applications
Autor: Catthoor, Francky, a další
Vydáno: (2020)

Handbook of Digital CMOS Technology, Circuits, and Systems
Autor: Abbas, Karim
Vydáno: (2020)

Languages, Design Methods, and Tools for Electronic System Design
Autor: Kazmierski, Tom J., a další
Vydáno: (2020)

High-Level Modeling and Synthesis of Analog Integrated Systems
Autor: Martens, Ewout S. J., a další
Vydáno: (2020)

Model-Implementation Fidelity in Cyber Physical System Design
Autor: Molnos, Anca, a další
Vydáno: (2020)

Hardware Protection through Obfuscation
Autor: Forte, Domenic, a další
Vydáno: (2020)

Optimized ASIP Synthesis from Architecture Description Language Models
Autor: Schliebusch, Oliver, a další
Vydáno: (2020)

Structured Analog CMOS Design
Autor: Stefanovic, Danica, a další
Vydáno: (2020)

Designing with Xilinx® FPGAs
Autor: Churiwala, Sanjay
Vydáno: (2020)

Fundamentals of Computer Architecture and Design
Autor: Bindal, Ahmet
Vydáno: (2020)

Analog Integrated Circuit Design Automation
Autor: Martins, Ricardo, a další
Vydáno: (2020)

On-Chip Current Sensors for Reliable, Secure, and Low-Power Integrated Circuits
Autor: Bastos, Rodrigo Possamai, a další
Vydáno: (2020)

Foundations of Hardware IP Protection
Autor: Bossuet, Lilian, a další
Vydáno: (2020)

Design and Test Strategies for 2D/3D Integration for NoC-based Multicore Architectures
Autor: Manna, Kanchan, a další
Vydáno: (2020)

Hardware IP Security and Trust
Autor: Mishra, Prabhat, a další
Vydáno: (2020)

Hardware Security and Trust
Autor: Sklavos, Nicolas, a další
Vydáno: (2020)

Transaction-Level Power Modeling
Autor: Darwish, Amr Baher, a další
Vydáno: (2020)

Introduction to Reconfigurable Computing
Autor: Bobda, Christophe
Vydáno: (2020)

Parallel Sparse Direct Solver for Integrated Circuit Simulation
Autor: Chen, Xiaoming, a další
Vydáno: (2020)

Ageing of Integrated Circuits
Autor: Halak, Basel
Vydáno: (2020)

Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects
Autor: Lourenço, Nuno, a další
Vydáno: (2020)

Low-Power Design and Power-Aware Verification. 1st ed. 2018
Autor: Khondkar, Progyna
Vydáno: (2020)

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Autor: Przigoda, Nils, a další
Vydáno: (2020)

ASIC/SoC Functional Design Verification. 1st ed. 2018
Autor: Mehta, Ashok B.
Vydáno: (2020)

Embedded Flash Memory for Embedded Systems: Technology, Design for Sub-systems, and Innovations. 1st ed. 2018
Autor: Hidaka, Hideto
Vydáno: (2020)

Brain-Machine Interface. 1st ed. 2018
Autor: Liu, Xilin, a další
Vydáno: (2020)