Yüklüyor…

QR Kod

Smart Systems Integration and Simulation

This book-presents new methods and tools for the integration and simulation of smart devices. The design approach described in this book explicitly accounts for integration of Smart Systems components and subsystems as a specific constraint. It includes methodologies and EDA tools to enable multi-di...

Detaylı Bibliyografya
Müşterek Yazar:	SpringerLink (Online service)
Diğer Yazarlar:	Bombieri, Nicola (Editör), Poncino, Massimo (Editör), Pravadelli, Graziano (Editör)
Materyal Türü:	e-Kitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Cham : Springer International Publishing : 2016. Imprint: Springer,
Edisyon:	1st ed. 2016.
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

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

Fundamentals of Electromigration-Aware Integrated Circuit Design
Yazar:: Lienig, Jens, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

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

Embedded Systems Design with Special Arithmetic and Number Systems
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things /
Yazar:: Marwedel, Peter
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

Digital Systems From Logic Gates to Processors /
Yazar:: Deschamps, Jean-Pierre, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

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

Techniques for Building Timing-Predictable Embedded Systems
Yazar:: Guan, Nan
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

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

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

SystemVerilog Assertions and Functional Coverage Guide to Language, Methodology and Applications /
Yazar:: Mehta, Ashok B.
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

Model-Implementation Fidelity in Cyber Physical System Design
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

Memory Controllers for Mixed-Time-Criticality Systems Architectures, Methodologies and Trade-offs /
Yazar:: Goossens, Sven, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach /
Yazar:: Khan, Muhammad Usman Karim, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015 /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

Hardware Security and Trust Design and Deployment of Integrated Circuits in a Threatened Environment /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2017 /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016 /
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.)

Engineering Applications of FPGAs Chaotic Systems, Artificial Neural Networks, Random Number Generators, and Secure Communication Systems /
Yazar:: Tlelo-Cuautle, Esteban, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

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

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

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

Heterogeneous Reconfigurable Processors for Real-Time Baseband Processing From Algorithm to Architecture /
Yazar:: Zhang, Chenxin, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

Reliable Software for Unreliable Hardware A Cross Layer Perspective /
Yazar:: Rehman, Semeen, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

FPGAs for Software Programmers
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

Design for Manufacturability with Advanced Lithography
Yazar:: Yu, Bei, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

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

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

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

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

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

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

Timing Performance of Nanometer Digital Circuits Under Process Variations
Yazar:: Champac, Victor, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores
Yazar:: Pagani, Santiago, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

Contactless VLSI Measurement and Testing Techniques
Yazar:: Sayil, Selahattin
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Yazar:: Przigoda, Nils, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

Machine Learning for Model Order Reduction
Yazar:: Mohamed, Khaled Salah
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

Symbolic Parallelization of Nested Loop Programs
Yazar:: Tanase, Alexandru-Petru, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)