Formal System Verification. 1st ed. 2018

kod QR

Formal System Verification. 1st ed. 2018

Zapisane w:

Opis bibliograficzny
1. autor:	Drechsler, Rolf
Format:	Książka
Język:	English
Wydane:	Springer International Publishing 2020
Hasła przedmiotowe:	Engineering Circuits and Systems Processor Architectures Electronics and Microelectronics, Instrumentation
Dostęp online:	http://doi.org/10.1007/978-3-319-57685-5 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/99590
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

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

Podobne zapisy

Energy Efficient Embedded Video Processing Systems. 1st ed. 2018
od: Khan, Muhammad Usman Karim, i wsp.
Wydane: (2020)

Languages, Design Methods, and Tools for Electronic System Design. 1st ed. 2018
od: Fummi, Franco, i wsp.
Wydane: (2020)

Embedded Software Verification and Debugging
od: Lettnin, Djones, i wsp.
Wydane: (2020)

Automatic Methods for the Refinement of System Models
od: Seiter, Julia, i wsp.
Wydane: (2020)

Contactless VLSI Measurement and Testing Techniques. 1st ed. 2018
od: Sayil, Selahattin
Wydane: (2020)

Embedded System Design. 3rd ed. 2018
od: Marwedel, Peter
Wydane: (2020)

In-Memory Computing
od: Shirinzadeh, Saeideh, i wsp.
Wydane: (2020)

Formal Verification of Simulink/Stateflow Diagrams
od: Zhan, Naijun, i wsp.
Wydane: (2020)

Embedded Systems Design with Special Arithmetic and Number Systems
od: Molahosseini, Amir Sabbagh, i wsp.
Wydane: (2020)

Digital Systems
od: Deschamps, Jean-Pierre, i wsp.
Wydane: (2020)

System-on-Chip Security
od: Farahmandi, Farimah, i wsp.
Wydane: (2020)

Introduction to Embedded Systems
od: Jiménez, Manuel, i wsp.
Wydane: (2020)

System Verilog Assertions and Functional Coverage
od: Mehta, Ashok B.
Wydane: (2020)

Heterogeneous Memory Organizations in Embedded Systems
od: Quirós, Miguel Peón, i wsp.
Wydane: (2020)

System-Scenario-based Design Principles and Applications
od: Catthoor, Francky, i wsp.
Wydane: (2020)

Handbook of Digital CMOS Technology, Circuits, and Systems
od: Abbas, Karim
Wydane: (2020)

Languages, Design Methods, and Tools for Electronic System Design
od: Kazmierski, Tom J., i wsp.
Wydane: (2020)

High-Level Modeling and Synthesis of Analog Integrated Systems
od: Martens, Ewout S. J., i wsp.
Wydane: (2020)

Model-Implementation Fidelity in Cyber Physical System Design
od: Molnos, Anca, i wsp.
Wydane: (2020)

Hardware Protection through Obfuscation
od: Forte, Domenic, i wsp.
Wydane: (2020)

Optimized ASIP Synthesis from Architecture Description Language Models
od: Schliebusch, Oliver, i wsp.
Wydane: (2020)

Structured Analog CMOS Design
od: Stefanovic, Danica, i wsp.
Wydane: (2020)

Designing with Xilinx® FPGAs
od: Churiwala, Sanjay
Wydane: (2020)

Fundamentals of Computer Architecture and Design
od: Bindal, Ahmet
Wydane: (2020)

Analog Integrated Circuit Design Automation
od: Martins, Ricardo, i wsp.
Wydane: (2020)

On-Chip Current Sensors for Reliable, Secure, and Low-Power Integrated Circuits
od: Bastos, Rodrigo Possamai, i wsp.
Wydane: (2020)

Foundations of Hardware IP Protection
od: Bossuet, Lilian, i wsp.
Wydane: (2020)

Design and Test Strategies for 2D/3D Integration for NoC-based Multicore Architectures
od: Manna, Kanchan, i wsp.
Wydane: (2020)

Hardware IP Security and Trust
od: Mishra, Prabhat, i wsp.
Wydane: (2020)

Hardware Security and Trust
od: Sklavos, Nicolas, i wsp.
Wydane: (2020)

Transaction-Level Power Modeling
od: Darwish, Amr Baher, i wsp.
Wydane: (2020)

Introduction to Reconfigurable Computing
od: Bobda, Christophe
Wydane: (2020)

Parallel Sparse Direct Solver for Integrated Circuit Simulation
od: Chen, Xiaoming, i wsp.
Wydane: (2020)

Ageing of Integrated Circuits
od: Halak, Basel
Wydane: (2020)

Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects
od: Lourenço, Nuno, i wsp.
Wydane: (2020)

Low-Power Design and Power-Aware Verification. 1st ed. 2018
od: Khondkar, Progyna
Wydane: (2020)

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
od: Przigoda, Nils, i wsp.
Wydane: (2020)

ASIC/SoC Functional Design Verification. 1st ed. 2018
od: Mehta, Ashok B.
Wydane: (2020)

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

Brain-Machine Interface. 1st ed. 2018
od: Liu, Xilin, i wsp.
Wydane: (2020)