Fundamentals of IP and SoC Security
This book is about security in embedded systems and it provides an authoritative reference to all...
EAN: 9783319843087
Computing Platforms for Software-Defined Radio
This book addresses Software-Defined Radio (SDR) baseband processing from the computer...
EAN: 9783319842134
Hardware IP Security and Trust
This book provides an overview of current Intellectual Property (IP) based System-on-Chip (SoC)...
EAN: 9783319840703
Hardware Protection through Obfuscation
EAN: 9783319840680
Designing with Xilinx® FPGAs
This book helps readers to implement their designs on Xilinx® FPGAs. Throughout the presentation,...
EAN: 9783319825816
Dark Side of Silicon
This book presents the state-of-the art of one of the main concerns with microprocessors today, a...
EAN: 9783319810744
Parallel Sparse Direct Solver for Integrated Circuit Simulation
This book describes algorithmic methods and parallelization techniques to design a parallel...
EAN: 9783319851525
Separation Logic for High-level Synthesis
This book presents novel compiler techniques, which combine a rigorous mathematical framework,...
EAN: 9783319850948
Digital Systems
This textbook for a one-semester course in Digital Systems Design describes the basic methods...
EAN: 9783319822921
Embedded Software Verification and Debugging
This book provides comprehensive coverage of verification and debugging techniques for embedded...
EAN: 9781493979318
Electromigration Inside Logic Cells
This book describes new and effective methodologies for modeling, analyzing and mitigating...
EAN: 9783319840413
Model-Implementation Fidelity in Cyber Physical System Design
This book puts in focus various techniques for checking modeling fidelity of Cyber Physical...
EAN: 9783319837055
RFID Security
This book provides a comprehensive treatment of security in the widely adopted, Radio Frequency...
EAN: 9783319837642
Formal Verification of Simulink/Stateflow Diagrams
This book presents a state-of-the-art technique for formal verification of continuous-time...
EAN: 9783319836386
Instruction Level Parallelism
This book precisely formulates and simplifies the presentation of Instruction Level Parallelism...
EAN: 9781493979592
Green IT Engineering: Concepts, Models, Complex Systems Architectures
EAN: 9783319829999
Soft Error Mechanisms, Modeling and Mitigation
This book introduces readers to various radiation soft-error mechanisms such as soft delays,...
EAN: 9783319808482
Real Time Control Engineering
This book covers the two broad areas of the electronics and electrical aspects of control...
EAN: 9789811093715
Invasive Tightly Coupled Processor Arrays
Invasive TCPAs provide unprecedented energy efficiency for the parallel execution of nested loop...
EAN: 9789811093173
Embedded Systems Design with Special Arithmetic and Number Systems
The authors describe various systems that can be used for designing efficient embedded and...
EAN: 9783319842301
New Data Structures and Algorithms for Logic Synthesis and Verification
This book introduces new logic primitives for electronic design automation tools. The author...
EAN: 9783319827537
Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects
The authors provide a historical perspective on the early methods proposed to tackle automatic...
EAN: 9783319824857
Operational Amplifiers
This proven textbook guides readers to a thorough understanding of the theory and design of...
EAN: 9783319802770
