Formal System Verification. 1st ed. 2018

क्यूआर कोड

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, और अन्य
प्रकाशित: (2020)

Languages, Design Methods, and Tools for Electronic System Design. 1st ed. 2018
द्वारा: Fummi, Franco, और अन्य
प्रकाशित: (2020)

Embedded Software Verification and Debugging
द्वारा: Lettnin, Djones, और अन्य
प्रकाशित: (2020)

Automatic Methods for the Refinement of System Models
द्वारा: Seiter, Julia, और अन्य
प्रकाशित: (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, और अन्य
प्रकाशित: (2020)

Formal Verification of Simulink/Stateflow Diagrams
द्वारा: Zhan, Naijun, और अन्य
प्रकाशित: (2020)

Embedded Systems Design with Special Arithmetic and Number Systems
द्वारा: Molahosseini, Amir Sabbagh, और अन्य
प्रकाशित: (2020)

Digital Systems
द्वारा: Deschamps, Jean-Pierre, और अन्य
प्रकाशित: (2020)

System-on-Chip Security
द्वारा: Farahmandi, Farimah, और अन्य
प्रकाशित: (2020)

Introduction to Embedded Systems
द्वारा: Jiménez, Manuel, और अन्य
प्रकाशित: (2020)

System Verilog Assertions and Functional Coverage
द्वारा: Mehta, Ashok B.
प्रकाशित: (2020)

Heterogeneous Memory Organizations in Embedded Systems
द्वारा: Quirós, Miguel Peón, और अन्य
प्रकाशित: (2020)

System-Scenario-based Design Principles and Applications
द्वारा: Catthoor, Francky, और अन्य
प्रकाशित: (2020)

Handbook of Digital CMOS Technology, Circuits, and Systems
द्वारा: Abbas, Karim
प्रकाशित: (2020)

Languages, Design Methods, and Tools for Electronic System Design
द्वारा: Kazmierski, Tom J., और अन्य
प्रकाशित: (2020)

High-Level Modeling and Synthesis of Analog Integrated Systems
द्वारा: Martens, Ewout S. J., और अन्य
प्रकाशित: (2020)

Model-Implementation Fidelity in Cyber Physical System Design
द्वारा: Molnos, Anca, और अन्य
प्रकाशित: (2020)

Hardware Protection through Obfuscation
द्वारा: Forte, Domenic, और अन्य
प्रकाशित: (2020)

Optimized ASIP Synthesis from Architecture Description Language Models
द्वारा: Schliebusch, Oliver, और अन्य
प्रकाशित: (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)

Design and Test Strategies for 2D/3D Integration for NoC-based Multicore Architectures
द्वारा: Manna, Kanchan, और अन्य
प्रकाशित: (2020)

Hardware IP Security and Trust
द्वारा: Mishra, Prabhat, और अन्य
प्रकाशित: (2020)

Hardware Security and Trust
द्वारा: Sklavos, Nicolas, और अन्य
प्रकाशित: (2020)

Transaction-Level Power Modeling
द्वारा: Darwish, Amr Baher, और अन्य
प्रकाशित: (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)

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, और अन्य
प्रकाशित: (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, और अन्य
प्रकाशित: (2020)