Formal System Verification. 1st ed. 2018

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, 等
出版事項: (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)