Embedded Software Verification and Debugging

Κώδικας QR

Embedded Software Verification and Debugging

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Lettnin, Djones, Winterholer, Markus
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Springer New York 2020
Θέματα:	Engineering Circuits and Systems Processor Architectures Electronics and Microelectronics, Instrumentation
Διαθέσιμο Online:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/85328
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Παρόμοια τεκμήρια

Introduction to Embedded Systems
ανά: Jiménez, Manuel, κ.ά.
Έκδοση: (2020)

Formal System Verification. 1st ed. 2018
ανά: Drechsler, Rolf
Έκδοση: (2020)

Heterogeneous Memory Organizations in Embedded Systems
ανά: Quirós, Miguel Peón, κ.ά.
Έκδοση: (2020)

Embedded Systems Design with Special Arithmetic and Number Systems
ανά: Molahosseini, Amir Sabbagh, κ.ά.
Έκδοση: (2020)

Embedded System Design. 3rd ed. 2018
ανά: Marwedel, Peter
Έκδοση: (2020)

Energy Efficient Embedded Video Processing Systems. 1st ed. 2018
ανά: Khan, Muhammad Usman Karim, κ.ά.
Έκδοση: (2020)

Hardware Protection through Obfuscation
ανά: Forte, Domenic, κ.ά.
Έκδοση: (2020)

Automatic Methods for the Refinement of System Models
ανά: Seiter, Julia, κ.ά.
Έκδοση: (2020)

Optimized ASIP Synthesis from Architecture Description Language Models
ανά: Schliebusch, Oliver, κ.ά.
Έκδοση: (2020)

System Verilog Assertions and Functional Coverage
ανά: Mehta, Ashok B.
Έκδοση: (2020)

Structured Analog CMOS Design
ανά: Stefanovic, Danica, κ.ά.
Έκδοση: (2020)

Designing with Xilinx® FPGAs
ανά: Churiwala, Sanjay
Έκδοση: (2020)

Fundamentals of Computer Architecture and Design
ανά: Bindal, Ahmet
Έκδοση: (2020)

Analog Integrated Circuit Design Automation
ανά: Martins, Ricardo, κ.ά.
Έκδοση: (2020)

On-Chip Current Sensors for Reliable, Secure, and Low-Power Integrated Circuits
ανά: Bastos, Rodrigo Possamai, κ.ά.
Έκδοση: (2020)

Foundations of Hardware IP Protection
ανά: Bossuet, Lilian, κ.ά.
Έκδοση: (2020)

System-Scenario-based Design Principles and Applications
ανά: Catthoor, Francky, κ.ά.
Έκδοση: (2020)

Contactless VLSI Measurement and Testing Techniques. 1st ed. 2018
ανά: Sayil, Selahattin
Έκδοση: (2020)

Languages, Design Methods, and Tools for Electronic System Design. 1st ed. 2018
ανά: Fummi, Franco, κ.ά.
Έκδοση: (2020)

Design and Test Strategies for 2D/3D Integration for NoC-based Multicore Architectures
ανά: Manna, Kanchan, κ.ά.
Έκδοση: (2020)

Hardware IP Security and Trust
ανά: Mishra, Prabhat, κ.ά.
Έκδοση: (2020)

Languages, Design Methods, and Tools for Electronic System Design
ανά: Kazmierski, Tom J., κ.ά.
Έκδοση: (2020)

System-on-Chip Security
ανά: Farahmandi, Farimah, κ.ά.
Έκδοση: (2020)

Hardware Security and Trust
ανά: Sklavos, Nicolas, κ.ά.
Έκδοση: (2020)

Transaction-Level Power Modeling
ανά: Darwish, Amr Baher, κ.ά.
Έκδοση: (2020)

High-Level Modeling and Synthesis of Analog Integrated Systems
ανά: Martens, Ewout S. J., κ.ά.
Έκδοση: (2020)

In-Memory Computing
ανά: Shirinzadeh, Saeideh, κ.ά.
Έκδοση: (2020)

Digital Systems
ανά: Deschamps, Jean-Pierre, κ.ά.
Έκδοση: (2020)

Handbook of Digital CMOS Technology, Circuits, and Systems
ανά: Abbas, Karim
Έκδοση: (2020)

Introduction to Reconfigurable Computing
ανά: Bobda, Christophe
Έκδοση: (2020)

Parallel Sparse Direct Solver for Integrated Circuit Simulation
ανά: Chen, Xiaoming, κ.ά.
Έκδοση: (2020)

Ageing of Integrated Circuits
ανά: Halak, Basel
Έκδοση: (2020)

Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects
ανά: Lourenço, Nuno, κ.ά.
Έκδοση: (2020)

Model-Implementation Fidelity in Cyber Physical System Design
ανά: Molnos, Anca, κ.ά.
Έκδοση: (2020)

Functional Verification of Programmable Embedded Architectures
ανά: Mishra, Prabhat, κ.ά.
Έκδοση: (2020)

Formal Verification of Simulink/Stateflow Diagrams
ανά: Zhan, Naijun, κ.ά.
Έκδοση: (2020)

Electronics for Embedded Systems
ανά: Bindal, Ahmet
Έκδοση: (2020)

Embedded Flash Memory for Embedded Systems: Technology, Design for Sub-systems, and Innovations. 1st ed. 2018
ανά: Hidaka, Hideto
Έκδοση: (2020)

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
ανά: Przigoda, Nils, κ.ά.
Έκδοση: (2020)

Metric Driven Design Verification
ανά: Carter, Hamilton B., κ.ά.
Έκδοση: (2020)