Yüklüyor…

QR Kod

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach /

This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. Rea...

Detaylı Bibliyografya
Asıl Yazarlar:	Zhan, Naijun (Yazar), Wang, Shuling (Yazar), Zhao, Hengjun (Yazar)
Müşterek Yazar:	SpringerLink (Online service)
Materyal Türü:	e-Kitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edisyon:	1st ed. 2017.
Konular:	Electronic circuits. Microprocessors. Computer architecture. Electronic Circuits and Systems. Processor Architectures.
Online Erişim:	Full-text access OPAC'ta görüntüle

Benzer Materyaller

Formal System Verification State-of the-Art and Future Trends /
Baskı/Yayın Bilgisi: (2018)

Formal Verification of Floating-Point Hardware Design A Mathematical Approach /
Yazar:: Russinoff, David M.
Baskı/Yayın Bilgisi: (2019)

Embedded Software Verification and Debugging
Baskı/Yayın Bilgisi: (2017)

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

Fundamentals of IP and SoC Security Design, Verification, and Debug /
Baskı/Yayın Bilgisi: (2017)

ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies /
Yazar:: Mehta, Ashok B.
Baskı/Yayın Bilgisi: (2018)

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

Energy Efficient High Performance Processors Recent Approaches for Designing Green High Performance Computing /
Yazar:: Haj-Yahya, Jawad, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Security Policy in System-on-Chip Designs Specification, Implementation and Verification /
Yazar:: Ray, Sandip, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test /
Yazar:: Chandrasekharan, Arun, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

IP Cores Design from Specifications to Production Modeling, Verification, Optimization, and Protection /
Yazar:: Mohamed, Khaled Salah
Baskı/Yayın Bilgisi: (2016)

FPGAs and Parallel Architectures for Aerospace Applications Soft Errors and Fault-Tolerant Design /
Baskı/Yayın Bilgisi: (2016)

Hybrid ADCs, Smart Sensors for the IoT, and Sub-1V & Advanced Node Analog Circuit Design Advances in Analog Circuit Design 2017 /
Baskı/Yayın Bilgisi: (2018)

Modeling and Simulation of Invasive Applications and Architectures
Yazar:: Roloff, Sascha, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

The Dark Side of Silicon Energy Efficient Computing in the Dark Silicon Era /
Baskı/Yayın Bilgisi: (2017)

Electromigration Inside Logic Cells Modeling, Analyzing and Mitigating Signal Electromigration in NanoCMOS /
Yazar:: Posser, Gracieli, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Brain-Machine Interface Closed-loop Bidirectional System Design /
Yazar:: Liu, Xilin, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

3D Stacked Chips From Emerging Processes to Heterogeneous Systems /
Baskı/Yayın Bilgisi: (2016)

Operational Amplifiers Theory and Design /
Yazar:: Huijsing, Johan
Baskı/Yayın Bilgisi: (2017)

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

CMOS Circuits for Biological Sensing and Processing
Baskı/Yayın Bilgisi: (2018)

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

Invasive Tightly Coupled Processor Arrays
Yazar:: LARI, VAHID
Baskı/Yayın Bilgisi: (2016)

5G and E-Band Communication Circuits in Deep-Scaled CMOS
Yazar:: Vigilante, Marco, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Carbon Nanotubes for Interconnects Process, Design and Applications /
Baskı/Yayın Bilgisi: (2017)

Soft Error Mechanisms, Modeling and Mitigation
Yazar:: Sayil, Selahattin
Baskı/Yayın Bilgisi: (2016)

Near Threshold Computing Technology, Methods and Applications /
Baskı/Yayın Bilgisi: (2016)

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

Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach /
Yazar:: Khan, Muhammad Usman Karim, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

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

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

The Boundary-Scan Handbook
Yazar:: Parker, Kenneth P.
Baskı/Yayın Bilgisi: (2016)

Reliable Software for Unreliable Hardware A Cross Layer Perspective /
Yazar:: Rehman, Semeen, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Hardware Security and Trust Design and Deployment of Integrated Circuits in a Threatened Environment /
Baskı/Yayın Bilgisi: (2017)

Embedded Systems Design with Special Arithmetic and Number Systems
Baskı/Yayın Bilgisi: (2017)

Fundamentals of Computer Architecture and Design
Yazar:: Bindal, Ahmet
Baskı/Yayın Bilgisi: (2019)

Exact Design of Digital Microfluidic Biochips
Yazar:: Keszocze, Oliver, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Post-Silicon Validation and Debug
Baskı/Yayın Bilgisi: (2019)

Approximate Circuits Methodologies and CAD /
Baskı/Yayın Bilgisi: (2019)

Learning from VLSI Design Experience
Yazar:: Lee, Weng Fook
Baskı/Yayın Bilgisi: (2019)