QR kód

Formal System Verification State-of the-Art and Future Trends /

This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level...

Uloženo v:

Podrobná bibliografie
Médium:	Elektronický zdroj E-kniha
Jazyk:	angličtina
Vydáno:	Cham : Springer International Publishing, 2018.
Vydání:	1st ed. 2018.
Témata:	Electronic circuits. Microprocessors. Electronics. Microelectronics.
ISBN:	9783319576855
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Autor: Przigoda, Nils
Vydáno: (2018)

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things /
Autor: Marwedel, Peter
Vydáno: (2018)

Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach /
Autor: Khan, Muhammad Usman Karim
Vydáno: (2018)

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016 /
Vydáno: (2018)

Machine Learning for Model Order Reduction
Autor: Mohamed, Khaled Salah
Vydáno: (2018)

Symbolic Parallelization of Nested Loop Programs
Autor: Tanase, Alexandru-Petru
Vydáno: (2018)

Timing Performance of Nanometer Digital Circuits Under Process Variations
Autor: Champac, Victor
Vydáno: (2018)

Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores
Autor: Pagani, Santiago
Vydáno: (2018)

Contactless VLSI Measurement and Testing Techniques
Autor: Sayil, Selahattin
Vydáno: (2018)

Fundamentals of Electromigration-Aware Integrated Circuit Design
Autor: Lienig, Jens
Vydáno: (2018)

ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies /
Autor: Mehta, Ashok B.
Vydáno: (2018)

Digital Storage in Consumer Electronics The Essential Guide /
Autor: Coughlin, Thomas M.
Vydáno: (2018)

Brain-Machine Interface Closed-loop Bidirectional System Design /
Autor: Liu, Xilin
Vydáno: (2018)

CMOS Circuits for Biological Sensing and Processing
Vydáno: (2018)

5G and E-Band Communication Circuits in Deep-Scaled CMOS
Autor: Vigilante, Marco
Vydáno: (2018)

Energy-Efficient Smart Temperature Sensors in CMOS Technology
Autor: Souri, Kamran
Vydáno: (2018)

Energy Efficient High Performance Processors Recent Approaches for Designing Green High Performance Computing /
Autor: Haj-Yahya, Jawad
Vydáno: (2018)

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures
Autor: Weichslgartner, Andreas
Vydáno: (2018)

Hybrid ADCs, Smart Sensors for the IoT, and Sub-1V & Advanced Node Analog Circuit Design Advances in Analog Circuit Design 2017 /
Vydáno: (2018)

Memristor Technology: Synthesis and Modeling for Sensing and Security Applications
Autor: Abunahla, Heba
Vydáno: (2018)

ZnO Thin-Film Transistors for Cost-Efficient Flexible Electronics
Autor: Vidor, Fábio Fedrizzi
Vydáno: (2018)

Spectral, Convolution and Numerical Techniques in Circuit Theory
Autor: Badrieh, Fuad
Vydáno: (2018)

Automated Electronic Filter Design With Emphasis on Distributed Filters /
Autor: Banerjee, Amal
Vydáno: (2018)

Parasitic Substrate Coupling in High Voltage Integrated Circuits Minority and Majority Carriers Propagation in Semiconductor Substrate /
Autor: Buccella, Pietro
Vydáno: (2018)

Tantalum and Niobium-Based Capacitors Science, Technology, and Applications /
Autor: Freeman, Yuri
Vydáno: (2018)

Accurate and Robust Spectral Testing with Relaxed Instrumentation Requirements
Autor: Zhuang, Yuming
Vydáno: (2018)

Foundations of Heterogeneous Integration: An Industry-Based, 2.5D/3D Pathfinding and Co-Design Approach
Autor: Yazdani, Farhang
Vydáno: (2018)

MEMS Lorentz Force Magnetometers From Specifications to Product /
Autor: Buffa, Cesare
Vydáno: (2018)

High-Resolution and High-Speed Integrated CMOS AD Converters for Low-Power Applications
Autor: Li, Weitao
Vydáno: (2018)

Hands-on Experience with Altera FPGA Development Boards
Autor: Parab, Jivan S.
Vydáno: (2018)

Low-Power Design and Power-Aware Verification
Autor: Khondkar, Progyna
Vydáno: (2018)

Handheld Total Chemical and Biological Analysis Systems Bridging NMR, Digital Microfluidics, and Semiconductors /
Autor: Lei, Ka-Meng
Vydáno: (2018)

Reliable and Energy Efficient Streaming Multiprocessor Systems
Autor: Das, Anup Kumar
Vydáno: (2018)

Design of FPGA-Based Computing Systems with OpenCL
Autor: Waidyasooriya, Hasitha Muthumala
Vydáno: (2018)

Solid State Lighting Reliability Part 2 Components to Systems /
Vydáno: (2018)

Proceedings of 2nd International Conference on Micro-Electronics, Electromagnetics and Telecommunications ICMEET 2016 /
Vydáno: (2018)

Inkjet-Configurable Gate Array Towards Application Specific Printed Electronic Circuits /
Autor: Mashayekhi, Mohammad
Vydáno: (2018)

Low Power Active Electrode ICs for Wearable EEG Acquisition
Autor: Xu, Jiawei
Vydáno: (2018)

Microelectronics, Electromagnetics and Telecommunications Proceedings of ICMEET 2017 /
Vydáno: (2018)

Self-powered SoC Platform for Analysis and Prediction of Cardiac Arrhythmias
Autor: Saleh, Hani
Vydáno: (2018)