Formal System Verification. 1st ed. 2018

Mã QR

Formal System Verification. 1st ed. 2018

שמור ב:

מידע ביבליוגרפי
מחבר ראשי:	Drechsler, Rolf
פורמט:	ספר
שפה:	English
יצא לאור:	Springer International Publishing 2020
נושאים:	Engineering Circuits and Systems Processor Architectures Electronics and Microelectronics, Instrumentation
גישה מקוונת:	http://doi.org/10.1007/978-3-319-57685-5 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/99590
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

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

פריטים דומים

Energy Efficient Embedded Video Processing Systems. 1st ed. 2018
מאת: Khan, Muhammad Usman Karim, et al.
יצא לאור: (2020)

Languages, Design Methods, and Tools for Electronic System Design. 1st ed. 2018
מאת: Fummi, Franco, et al.
יצא לאור: (2020)

Embedded Software Verification and Debugging
מאת: Lettnin, Djones, et al.
יצא לאור: (2020)

Automatic Methods for the Refinement of System Models
מאת: Seiter, Julia, et al.
יצא לאור: (2020)

Contactless VLSI Measurement and Testing Techniques. 1st ed. 2018
מאת: Sayil, Selahattin
יצא לאור: (2020)

Embedded System Design. 3rd ed. 2018
מאת: Marwedel, Peter
יצא לאור: (2020)

In-Memory Computing
מאת: Shirinzadeh, Saeideh, et al.
יצא לאור: (2020)

Formal Verification of Simulink/Stateflow Diagrams
מאת: Zhan, Naijun, et al.
יצא לאור: (2020)

Embedded Systems Design with Special Arithmetic and Number Systems
מאת: Molahosseini, Amir Sabbagh, et al.
יצא לאור: (2020)

Digital Systems
מאת: Deschamps, Jean-Pierre, et al.
יצא לאור: (2020)

System-on-Chip Security
מאת: Farahmandi, Farimah, et al.
יצא לאור: (2020)

Introduction to Embedded Systems
מאת: Jiménez, Manuel, et al.
יצא לאור: (2020)

System Verilog Assertions and Functional Coverage
מאת: Mehta, Ashok B.
יצא לאור: (2020)

Heterogeneous Memory Organizations in Embedded Systems
מאת: Quirós, Miguel Peón, et al.
יצא לאור: (2020)

System-Scenario-based Design Principles and Applications
מאת: Catthoor, Francky, et al.
יצא לאור: (2020)

Handbook of Digital CMOS Technology, Circuits, and Systems
מאת: Abbas, Karim
יצא לאור: (2020)

Languages, Design Methods, and Tools for Electronic System Design
מאת: Kazmierski, Tom J., et al.
יצא לאור: (2020)

High-Level Modeling and Synthesis of Analog Integrated Systems
מאת: Martens, Ewout S. J., et al.
יצא לאור: (2020)

Model-Implementation Fidelity in Cyber Physical System Design
מאת: Molnos, Anca, et al.
יצא לאור: (2020)

Hardware Protection through Obfuscation
מאת: Forte, Domenic, et al.
יצא לאור: (2020)

Optimized ASIP Synthesis from Architecture Description Language Models
מאת: Schliebusch, Oliver, et al.
יצא לאור: (2020)

Structured Analog CMOS Design
מאת: Stefanovic, Danica, et al.
יצא לאור: (2020)

Designing with Xilinx® FPGAs
מאת: Churiwala, Sanjay
יצא לאור: (2020)

Fundamentals of Computer Architecture and Design
מאת: Bindal, Ahmet
יצא לאור: (2020)

Analog Integrated Circuit Design Automation
מאת: Martins, Ricardo, et al.
יצא לאור: (2020)

On-Chip Current Sensors for Reliable, Secure, and Low-Power Integrated Circuits
מאת: Bastos, Rodrigo Possamai, et al.
יצא לאור: (2020)

Foundations of Hardware IP Protection
מאת: Bossuet, Lilian, et al.
יצא לאור: (2020)

Design and Test Strategies for 2D/3D Integration for NoC-based Multicore Architectures
מאת: Manna, Kanchan, et al.
יצא לאור: (2020)

Hardware IP Security and Trust
מאת: Mishra, Prabhat, et al.
יצא לאור: (2020)

Hardware Security and Trust
מאת: Sklavos, Nicolas, et al.
יצא לאור: (2020)

Transaction-Level Power Modeling
מאת: Darwish, Amr Baher, et al.
יצא לאור: (2020)

Introduction to Reconfigurable Computing
מאת: Bobda, Christophe
יצא לאור: (2020)

Parallel Sparse Direct Solver for Integrated Circuit Simulation
מאת: Chen, Xiaoming, et al.
יצא לאור: (2020)

Ageing of Integrated Circuits
מאת: Halak, Basel
יצא לאור: (2020)

Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects
מאת: Lourenço, Nuno, et al.
יצא לאור: (2020)

Low-Power Design and Power-Aware Verification. 1st ed. 2018
מאת: Khondkar, Progyna
יצא לאור: (2020)

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
מאת: Przigoda, Nils, et al.
יצא לאור: (2020)

ASIC/SoC Functional Design Verification. 1st ed. 2018
מאת: Mehta, Ashok B.
יצא לאור: (2020)

Embedded Flash Memory for Embedded Systems: Technology, Design for Sub-systems, and Innovations. 1st ed. 2018
מאת: Hidaka, Hideto
יצא לאור: (2020)

Brain-Machine Interface. 1st ed. 2018
מאת: Liu, Xilin, et al.
יצא לאור: (2020)