Yüklüyor…

QR Kod

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automa...

Detaylı Bibliyografya
Asıl Yazarlar:	Przigoda, Nils (Yazar), Wille, Robert (Yazar), Przigoda, Judith (Yazar), Drechsler, Rolf (Yazar)
Müşterek Yazar:	SpringerLink (Online service)
Materyal Türü:	e-Kitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Cham : Springer International Publishing : 2018. Imprint: Springer,
Edisyon:	1st ed. 2018.
Konular:	Electronic circuits. Microprocessors. Computer architecture. Electronics. Electronic Circuits and Systems. Processor Architectures. Electronics and Microelectronics, Instrumentation.
Online Erişim:	Full-text access

Benzer Materyaller

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

Post-Silicon Validation and Debug
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

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

Embedded Software Verification and Debugging
Baskı/Yayın Bilgisi: (Springer New York : Imprint: Springer, 2017.)

Formal System Verification State-of the-Art and Future Trends /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

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

Automatic Methods for the Refinement of System Models From the Specification to the Implementation /
Yazar:: Seiter, Julia, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach /
Yazar:: Zhan, Naijun, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

Reversible and Quantum Circuits Optimization and Complexity Analysis /
Yazar:: Abdessaied, Nabila, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

Automated Methods in Cryptographic Fault Analysis
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

Analog Integrated Circuit Design Automation Placement, Routing and Parasitic Extraction Techniques /
Yazar:: Martins, Ricardo, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

Design Automation for Differential MOS Current-Mode Logic Circuits
Yazar:: Badel, Stéphane, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

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

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

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

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

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

Power Estimation on Electronic System Level using Linear Power Models
Yazar:: Schuermans, Stefan, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

FPGAs and Parallel Architectures for Aerospace Applications Soft Errors and Fault-Tolerant Design /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 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: (Springer International Publishing : Imprint: Springer, 2018.)

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

The Dark Side of Silicon Energy Efficient Computing in the Dark Silicon Era /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

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

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

3D Stacked Chips From Emerging Processes to Heterogeneous Systems /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

Operational Amplifiers Theory and Design /
Yazar:: Huijsing, Johan
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

More-than-Moore 2.5D and 3D SiP Integration
Yazar:: Radojcic, Riko
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 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: (Springer Nature Singapore : Imprint: Springer, 2018.)

CMOS Circuits for Biological Sensing and Processing
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

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

Invasive Tightly Coupled Processor Arrays
Yazar:: LARI, VAHID
Baskı/Yayın Bilgisi: (Springer Nature Singapore : Imprint: Springer, 2016.)

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

Carbon Nanotubes for Interconnects Process, Design and Applications /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

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

Near Threshold Computing Technology, Methods and Applications /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

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

Approximate Circuits Methodologies and CAD /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

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

Distributed Embedded Controller Development with Petri Nets Application to Globally-Asynchronous Locally-Synchronous Systems /
Yazar:: Moutinho, Filipe de Carvalho, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

Complex Digital Circuits
Yazar:: Deschamps, Jean-Pierre, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)