Formal Verification of Simulink/Stateflow Diagrams

QR Kod

Formal Verification of Simulink/Stateflow Diagrams

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Zhan, Naijun, Wang, Shuling, Zhao, Hengjun
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Springer International Publishing 2020
Konular:	Engineering Circuits and Systems Processor Architectures Electronic Circuits and Devices
Online Erişim:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/85873
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Formal System Verification. 1st ed. 2018
Yazar:: Drechsler, Rolf
Baskı/Yayın Bilgisi: (2020)

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures. 1st ed. 2018
Yazar:: Weichslgartner, Andreas, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Energy-Efficient Smart Temperature Sensors in CMOS Technology. 1st ed. 2018
Yazar:: Souri, Kamran, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Neuro-inspired Computing Using Resistive Synaptic Devices
Yazar:: Yu, Shimeng
Baskı/Yayın Bilgisi: (2020)

Circadian Rhythms for Future Resilient Electronic Systems
Yazar:: Guo, Xinfei, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Carbon Nanotubes for Interconnects
Yazar:: Todri-Sanial, Aida, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

CMOS Circuits for Biological Sensing and Processing. 1st ed. 2018
Yazar:: Mitra, Srinjoy, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Hybrid ADCs, Smart Sensors for the IoT, and Sub-1V & Advanced Node Analog Circuit Design. 1st ed. 2018
Yazar:: Harpe, Pieter, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

More-than-Moore 2.5D and 3D SiP Integration
Yazar:: Radojcic, Riko
Baskı/Yayın Bilgisi: (2020)

The Dark Side of Silicon
Yazar:: Rahmani, Amir M., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Electromigration Inside Logic Cells
Yazar:: Posser, Gracieli, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Emerging Technology and Architecture for Big-data Analytics
Yazar:: Chattopadhyay, Anupam, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Embedded Flash Memory for Embedded Systems: Technology, Design for Sub-systems, and Innovations. 1st ed. 2018
Yazar:: Hidaka, Hideto
Baskı/Yayın Bilgisi: (2020)

Fundamentals of IP and SoC Security
Yazar:: Bhunia, Swarup, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Brain-Machine Interface. 1st ed. 2018
Yazar:: Liu, Xilin, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

The Fourth Terminal. 1st ed.
Yazar:: Clerc, Sylvain, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Operational Amplifiers
Yazar:: Huijsing, Johan
Baskı/Yayın Bilgisi: (2020)

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Yazar:: Przigoda, Nils, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Embedded Software Verification and Debugging
Yazar:: Lettnin, Djones, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Low-Power Design and Power-Aware Verification. 1st ed. 2018
Yazar:: Khondkar, Progyna
Baskı/Yayın Bilgisi: (2020)

New Data Structures and Algorithms for Logic Synthesis and Verification
Yazar:: Amaru, Luca Gaetano
Baskı/Yayın Bilgisi: (2020)

ASIC/SoC Functional Design Verification. 1st ed. 2018
Yazar:: Mehta, Ashok B.
Baskı/Yayın Bilgisi: (2020)

Functional Verification of Programmable Embedded Architectures
Yazar:: Mishra, Prabhat, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Circuit and Interconnect Design for RF and High Bit-rate Applications
Yazar:: Veenstra, Hugo, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Timing Performance of Nanometer Digital Circuits Under Process Variations
Yazar:: Champac, Victor, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Design Techniques for Mash Continuous-Time Delta-Sigma Modulators
Yazar:: Liu, Qiyuan, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Data-Driven Modeling of Cyber-Physical Systems using Side-Channel Analysis
Yazar:: Chhetri, Sujit Rokka, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Reliable and Energy Efficient Streaming Multiprocessor Systems
Yazar:: Das, Anup Kumar, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Simulation and Optimization of Digital Circuits
Yazar:: Melikyan, Vazgen
Baskı/Yayın Bilgisi: (2020)

Trusted Digital Circuits
Yazar:: Salmani, Hassan
Baskı/Yayın Bilgisi: (2020)

Physically Unclonable Functions
Yazar:: Halak, Basel
Baskı/Yayın Bilgisi: (2020)

Deep In-memory Architectures for Machine Learning
Yazar:: Kang, Mingu, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Energy Efficient High Performance Processors
Yazar:: Haj-Yahya, Jawad, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Analog Circuit Design
Yazar:: Steyaert, Michiel, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Adaptive Digital Circuits for Power-Performance Range beyond Wide Voltage Scaling
Yazar:: Jain, Saurabh, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Symbolic Parallelization of Nested Loop Programs
Yazar:: Tanase, Alexandru-Petru, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores
Yazar:: Pagani, Santiago, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Applied formal verification
Yazar:: Perry, Douglas L.
Baskı/Yayın Bilgisi: (2005)

Parallel Sparse Direct Solver for Integrated Circuit Simulation
Yazar:: Chen, Xiaoming, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Hardware Protection through Obfuscation
Yazar:: Forte, Domenic, ve diğerleri
Baskı/Yayın Bilgisi: (2020)