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 : Imprint: Springer, 2018.
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 OPAC'ta görüntüle

Benzer Materyaller

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

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

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

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

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

Exact Design of Digital Microfluidic Biochips
Yazar:: Keszocze, Oliver, ve diğerleri
Baskı/Yayın Bilgisi: (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: (2017)

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

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

Automated Methods in Cryptographic Fault Analysis
Baskı/Yayın Bilgisi: (2019)

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

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

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

Security Policy in System-on-Chip Designs Specification, Implementation and Verification /
Yazar:: Ray, Sandip, 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)

New Data Structures and Algorithms for Logic Synthesis and Verification
Yazar:: Amaru, Luca Gaetano
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)

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

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)

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)

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)

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)

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

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