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
الوصول للمادة أونلاين:	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)