Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach /

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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Zhan, Naijun (Συγγραφέας), Wang, Shuling (Συγγραφέας), Zhao, Hengjun (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Θέματα:	Engineering. Microprocessors. Electronic circuits. Circuits and Systems. Processor Architectures. Electronic Circuits and Devices.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Functional Verification of Dynamically Reconfigurable FPGA-based Systems
ανά: Gong, Lingkan, κ.ά.
Έκδοση: (2015)

Fundamentals of IP and SoC Security Design, Verification, and Debug /
Έκδοση: (2017)

SVA: The Power of Assertions in SystemVerilog
ανά: Cerny, Eduard, κ.ά.
Έκδοση: (2015)

Out-of-order Parallel Discrete Event Simulation for Electronic System-level Design
ανά: Chen, Weiwei
Έκδοση: (2015)

Debug Automation from Pre-Silicon to Post-Silicon
ανά: Dehbashi, Mehdi, κ.ά.
Έκδοση: (2015)

Counterfeit Integrated Circuits Detection and Avoidance /
ανά: Tehranipoor, Mark (Mohammad), κ.ά.
Έκδοση: (2015)

Spintronics-based Computing
Έκδοση: (2015)

Soft Error Mechanisms, Modeling and Mitigation
ανά: Sayil, Selahattin
Έκδοση: (2016)

FPGAs and Parallel Architectures for Aerospace Applications Soft Errors and Fault-Tolerant Design /
Έκδοση: (2016)

3D Stacked Chips From Emerging Processes to Heterogeneous Systems /
Έκδοση: (2016)

Near Threshold Computing Technology, Methods and Applications /
Έκδοση: (2016)

Invasive Tightly Coupled Processor Arrays
ανά: LARI, VAHID
Έκδοση: (2016)

Integrated Circuit Authentication Hardware Trojans and Counterfeit Detection /
ανά: Tehranipoor, Mohammad, κ.ά.
Έκδοση: (2014)

Operational Amplifiers Theory and Design /
ανά: Huijsing, Johan
Έκδοση: (2017)

Carbon Nanotubes for Interconnects Process, Design and Applications /
Έκδοση: (2017)

The Dark Side of Silicon Energy Efficient Computing in the Dark Silicon Era /
Έκδοση: (2017)

Electromigration Inside Logic Cells Modeling, Analyzing and Mitigating Signal Electromigration in NanoCMOS /
ανά: Posser, Gracieli, κ.ά.
Έκδοση: (2017)

Multiprocessor Systems on Chip Design Space Exploration /
ανά: Kempf, Torsten, κ.ά.
Έκδοση: (2011)

More-than-Moore 2.5D and 3D SiP Integration
ανά: Radojcic, Riko
Έκδοση: (2017)

Neuro-inspired Computing Using Resistive Synaptic Devices
Έκδοση: (2017)

Operational Amplifiers Theory and Design /
ανά: Huijsing, Johan
Έκδοση: (2011)

Formal Specification Level Concepts, Methods, and Algorithms /
ανά: Soeken, Mathias, κ.ά.
Έκδοση: (2015)

Flip-Flop Design in Nanometer CMOS From High Speed to Low Energy /
ανά: Alioto, Massimo, κ.ά.
Έκδοση: (2015)

Embedded Software Verification and Debugging
Έκδοση: (2017)

High-Performance Computing Using FPGAs
Έκδοση: (2013)

Smart Sensors and Systems
Έκδοση: (2015)

Emerging Technology and Architecture for Big-data Analytics
Έκδοση: (2017)

Model-Driven Design Using IEC 61499 A Synchronous Approach for Embedded and Automation Systems /
ανά: Yoong, Li Hsien, κ.ά.
Έκδοση: (2015)

New Data Structures and Algorithms for Logic Synthesis and Verification
ανά: Amaru, Luca Gaetano
Έκδοση: (2017)

Circuit and Interconnect Design for RF and High Bit-Rate Applications
ανά: Veenstra, Hugo, κ.ά.
Έκδοση: (2008)

Analog Circuit Design High-speed Clock and Data Recovery, High-performance Amplifiers, Power Management /
Έκδοση: (2009)

Application Analysis Tools for ASIP Design Application Profiling and Instruction-set Customization /
ανά: Karuri, Kingshuk, κ.ά.
Έκδοση: (2011)

Reconfigurable Networks-on-Chip
ανά: Chen, Sao-Jie, κ.ά.
Έκδοση: (2012)

Self-Organization in Embedded Real-Time Systems
Έκδοση: (2013)

Pipelined ADC Design and Enhancement Techniques
ανά: Ahmed, Imran
Έκδοση: (2010)

Dynamic Reconfigurable Architectures and Transparent Optimization Techniques Automatic Acceleration of Software Execution /
ανά: Schneider Beck Fl., Antonio Carlos, κ.ά.
Έκδοση: (2010)

Design Technology for Heterogeneous Embedded Systems
Έκδοση: (2012)

Hardware/Software Co-design for Heterogeneous Multi-core Platforms The hArtes Toolchain /
Έκδοση: (2012)

Modeling, Analysis and Optimization of Network-on-Chip Communication Architectures
ανά: Ogras, Umit Y., κ.ά.
Έκδοση: (2013)

Network-on-Chip Architectures A Holistic Design Exploration /
ανά: Nicopoulos, Chrysostomos, κ.ά.
Έκδοση: (2010)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών