Formal Verification of Floating-Point Hardware Design A Mathematical Approach /

Formal Verification of Floating-Point Hardware Design A Mathematical Approach /

This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-poin...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Russinoff, David M. (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2019.
Έκδοση:	1st ed. 2019.
Θέματα:	Electronic circuits. Software engineering. Microprocessors. Computer software-Reusability. Circuits and Systems. Software Engineering. Processor Architectures. Performance and Reliability.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Low-Power Design and Power-Aware Verification
ανά: Khondkar, Progyna, κ.ά.
Έκδοση: (2018)

High-level Estimation and Exploration of Reliability for Multi-Processor System-on-Chip
ανά: Wang, Zheng, κ.ά.
Έκδοση: (2018)

Test Generation of Crosstalk Delay Faults in VLSI Circuits
ανά: Jayanthy, S., κ.ά.
Έκδοση: (2019)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 13th International Workshop, PATMOS 2003, Torino, Italy, September 10-12, 2003, Proceedings /
Έκδοση: (2003)

The Hardware Trojan War Attacks, Myths, and Defenses /
Έκδοση: (2018)

Dependable Multicore Architectures at Nanoscale
Έκδοση: (2018)

ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies /
ανά: Mehta, Ashok B., κ.ά.
Έκδοση: (2018)

Silicon Photonics & High Performance Computing Proceedings of CSI 2015 /
Έκδοση: (2018)

Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16-18, 2017, Revised Selected Papers /
Έκδοση: (2018)

Formal System Verification State-of the-Art and Future Trends /
Έκδοση: (2018)

System Dependability Evaluation Including S-dependency and Uncertainty Model-Driven Dependability Analyses /
ανά: Kochs, Hans-Dieter, κ.ά.
Έκδοση: (2018)

Trusted Digital Circuits Hardware Trojan Vulnerabilities, Prevention and Detection /
ανά: Salmani, Hassan, κ.ά.
Έκδοση: (2018)

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
ανά: Przigoda, Nils, κ.ά.
Έκδοση: (2018)

Data and Energy Integrated Communication Networks A Brief Introduction /
ανά: Hu, Jie, κ.ά.
Έκδοση: (2018)

Beyond-CMOS Technologies for Next Generation Computer Design
Έκδοση: (2019)

Energy Efficient High Performance Processors Recent Approaches for Designing Green High Performance Computing /
ανά: Haj-Yahya, Jawad, κ.ά.
Έκδοση: (2018)

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures
ανά: Weichslgartner, Andreas, κ.ά.
Έκδοση: (2018)

Modeling and Simulation of Invasive Applications and Architectures
ανά: Roloff, Sascha, κ.ά.
Έκδοση: (2019)

CMOS Circuits for Biological Sensing and Processing
Έκδοση: (2018)

Energy-Efficient Smart Temperature Sensors in CMOS Technology
ανά: Souri, Kamran, κ.ά.
Έκδοση: (2018)

Hybrid ADCs, Smart Sensors for the IoT, and Sub-1V & Advanced Node Analog Circuit Design Advances in Analog Circuit Design 2017 /
Έκδοση: (2018)

5G and E-Band Communication Circuits in Deep-Scaled CMOS
ανά: Vigilante, Marco, κ.ά.
Έκδοση: (2018)

Long-Term Reliability of Nanometer VLSI Systems Modeling, Analysis and Optimization /
ανά: Tan, Sheldon, κ.ά.
Έκδοση: (2019)

Brain-Machine Interface Closed-loop Bidirectional System Design /
ανά: Liu, Xilin, κ.ά.
Έκδοση: (2018)

Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms A Cross-layer Approach /
Έκδοση: (2019)

Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors /
ανά: Melikyan, Vazgen, κ.ά.
Έκδοση: (2018)

Quick Start Guide to VHDL
ανά: LaMeres, Brock J., κ.ά.
Έκδοση: (2019)

Machine Learning in VLSI Computer-Aided Design
Έκδοση: (2019)

Introduction to Logic Circuits & Logic Design with VHDL
ανά: LaMeres, Brock J., κ.ά.
Έκδοση: (2019)

Design of FPGA-Based Computing Systems with OpenCL
ανά: Waidyasooriya, Hasitha Muthumala, κ.ά.
Έκδοση: (2018)

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis A Transfer Function Approach /
ανά: Izadian, Afshin, κ.ά.
Έκδοση: (2019)

Introduction to Logic Circuits & Logic Design with Verilog
ανά: LaMeres, Brock J., κ.ά.
Έκδοση: (2019)

Quick Start Guide to Verilog
ανά: LaMeres, Brock J., κ.ά.
Έκδοση: (2019)

Reliable and Energy Efficient Streaming Multiprocessor Systems
ανά: Das, Anup Kumar, κ.ά.
Έκδοση: (2018)

Security Policy in System-on-Chip Designs Specification, Implementation and Verification /
ανά: Ray, Sandip, κ.ά.
Έκδοση: (2019)

Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test /
ανά: Chandrasekharan, Arun, κ.ά.
Έκδοση: (2019)

8051 Microcontrollers Fundamental Concepts, Hardware, Software and Applications in Electronics /
ανά: Gimenez, Salvador Pinillos, κ.ά.
Έκδοση: (2019)

Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach /
ανά: Khan, Muhammad Usman Karim, κ.ά.
Έκδοση: (2018)

Embedded Flash Memory for Embedded Systems: Technology, Design for Sub-systems, and Innovations
Έκδοση: (2018)

Integrated Circuit and System Design Power and Timing Modeling, Optimization and Simulation; 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004, Proceedings /
Έκδοση: (2004)

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

Cannot write session to /tmp/vufind_sessions/sess_couk50djlm5ahv0kqc6tvjr4g6