This is our Worldwide store.

Looks like you're in United States. You need a Worldwide address to shop on our Worldwide store. Go to our United States store to continue.

Choose another store Go to United States Store Go to United States Store Choose another store

Embedded Software Verification and Debugging

Djones Lettnin,Markus Winterholer

Engineering (R0)

Acquista l'ebook

Save 10 %List Price: $104.84 USD.$94.39USD

You are in the Worldwide store

Not in Worldwide? Choose your country’s store to see books available for purchase.

Choose Store

Buy Now

Why read with us?

Kobo empowers book lovers to read more.

Elevated reading experience with our Kobo eReaders

Rich and relevant book catalogue

Free Kobo reading app

Synopsis

About this book

Language:English
ISBN:9781461422662
Release date:Apr 19, 2017
Publisher:Springer New York

Imprint:Springer
File format:EPUB2
File size:3.56 MB
Download options:EPUB2 (Adobe DRM)

Related Reads

SystemVerilog Assertions and Functional Coverage

Ashok B. Mehta

$146.79

Embedded Systems Architecture

Tammy Noergaard

$80.09

Embedded Systems Design for High-Speed Data Acquisition and Control

Maurizio Di Paolo Emilio

$94.39

VLSI Design

Vikram Arkalgud Chandrasetty

$73.39

Advanced Symbolic Analysis for VLSI Systems

Sheldon X.-D. Tan, Esteban Tlelo Cuautle, Guoyong Shi

$146.79

Compilation and Synthesis for Embedded Reconfigurable Systems

José Gabriel de Figueiredo Coutinho, Pedro C. Diniz, João Manuel Paiva Cardoso, Zlatko Marinov Petrov

$94.39

Dependable Multicore Architectures at Nanoscale

Marco Ottavi, Dimitris Gizopoulos, Salvatore Pontarelli

$94.39

Skew-Tolerant Circuit Design

David Harris

$55.79

Analog Integrated Circuit Design Automation

Ricardo Martins, Nuno Lourenço, Nuno Horta

$94.39

Introduction to Hardware Security and Trust

Mohammad Tehranipoor, Cliff Wang

$115.39

Carbon Nanotubes for Interconnects

Jean Dijon, Antonio Maffucci, Aida Todri-Sanial

$94.39

Hardware Protection through Obfuscation

Domenic Forte, Swarup Bhunia, Mark M. Tehranipoor

$104.89

Disruptive Logic Architectures and Technologies

Fabien Clermidy, Pierre-Emmanuel Gaillardon, Ian O’Connor

$94.39

Techniques for Building Timing-Predictable Embedded Systems

Nan Guan

$52.49

Embedded Systems Design with Special Arithmetic and Number Systems

Amir Sabbagh Molahosseini, Leonel Seabra de Sousa, Chip-Hong Chang

$94.39

Wideband CMOS Receivers

Luis B. Oliveira, Miguel D. Fernandes

$52.49

Theory of Digital Automata

Bohdan Borowik, Mykola Karpinskyy, Valery Lahno, Oleksandr Petrov

$94.39

Smart Sensors and Systems

Youn-Long Lin, Hiroto Yasuura, Chong-Min Kyung, Yongpan Liu

$94.39

Design Technologies for Green and Sustainable Computing Systems

Partha Pratim Pande, Amlan Ganguly, Krishnendu Chakrabarty

$94.39

Network-on-Chip Architectures

Chrysostomos Nicopoulos, Vijaykrishnan Narayanan, Chita R. Das

$146.79

High-Performance Computing on the Intel® Xeon Phi™

Endong Wang, Qing Zhang, Bo Shen, Guangyong Zhang, Xiaowei Lu, Qing Wu, Yajuan Wang

$52.49

FPGAs for Software Programmers

Dirk Koch, Frank Hannig, Daniel Ziener

$104.89

Internet-of-Things (IoT) Systems

Marilyn Wolf, Dimitrios Serpanos

$62.99

Engineering Applications of FPGAs

Esteban Tlelo-Cuautle, Luis Gerardo de la Fraga, José de Jesús Rangel-Magdaleno

$94.39

Dynamic Reconfiguration in Real-Time Systems

Weixun Wang, Prabhat Mishra, Sanjay Ranka

$94.39

RFID Security

Ahmed Khattab, Zahra Jeddi, Esmaeil Amini, Magdy Bayoumi

$94.39

Electromigration Inside Logic Cells

Gracieli Posser, Sachin S. Sapatnekar, Ricardo Reis

$52.49

Models, Methods, and Tools for Complex Chip Design

Jan Haase

$146.79

Low Power Interconnect Design

Sandeep Saini

$94.39

Efficient Test Methodologies for High-Speed Serial Links

Kwang-Ting Cheng, Dongwoo Hong

$136.39

Hardware/Software Architectures for Low-Power Embedded Multimedia Systems

Muhammad Shafique, Jörg Henkel

$94.39

Designing with Xilinx® FPGAs

Sanjay Churiwala

$94.39

Self-powered SoC Platform for Analysis and Prediction of Cardiac Arrhythmias

Baker Mohammad, Mohammed Ismail, Nourhan Bayasi, Hani Saleh

$94.39

VLSI 2010 Annual Symposium

Nikolaos Voros, Amar Mukherjee, Nicolas Sklavos, Konstantinos Masselos, Michael Huebner

$209.79

Trusted Computing for Embedded Systems

Dimitrios Soudris, Iraklis Anagnostopoulos, Bernard Candaele

$94.39

Design Technology for Heterogeneous Embedded Systems

Gabriela Nicolescu, Ian O'Connor, Christian Piguet

$94.39

Networks-on-Chip

Sheng Ma, Libo Huang, Mingche Lai, Wei Shi, Zhiying Wang

$58.49

Logic Circuit Design

Shimon P. Vingron

$94.39

The Physics of Computing

Marilyn Wolf

$56.69

Computer Systems

Ata Elahi

$52.49

Multi-Net Optimization of VLSI Interconnect

Konstantin Moiseev, Avinoam Kolodny, Shmuel Wimer

$94.39

Near Threshold Computing

Michael Hübner, Cristina Silvano

$52.49

Robust Computing with Nano-scale Devices

Chao Huang

$94.39

Pipelined Multiprocessor System-on-Chip for Multimedia

Haris Javaid, Sri Parameswaran

$94.39

Reversible Logic Synthesis Methodologies with Application to Quantum Computing

Saleem Mohammed Ridha Taha

$94.39

Smart Camera Design

Marilyn Wolf

$94.39

Languages, Design Methods, and Tools for Electronic System Design

Robert Wille, Franco Fummi

$94.39

Low-Power Design and Power-Aware Verification

Progyna Khondkar

$94.39

5G and E-Band Communication Circuits in Deep-Scaled CMOS

Marco Vigilante, Patrick Reynaert

$115.39

Regular Nanofabrics in Emerging Technologies

M. Haykel Ben Jamaa

$146.79

Did you like the book?

Be the first to rate and review this book!

This is our Worldwide store.

Embedded Software Verification and Debugging

Why read with us?

Synopsis

About this book

Book details

How to read

Related Reads

SystemVerilog Assertions and Functional Coverage

Embedded Systems Architecture

Embedded Systems Design for High-Speed Data Acquisition and Control

VLSI Design

Advanced Symbolic Analysis for VLSI Systems

Compilation and Synthesis for Embedded Reconfigurable Systems

Dependable Multicore Architectures at Nanoscale

Skew-Tolerant Circuit Design

Analog Integrated Circuit Design Automation

Introduction to Hardware Security and Trust

Carbon Nanotubes for Interconnects

Hardware Protection through Obfuscation

Disruptive Logic Architectures and Technologies

Techniques for Building Timing-Predictable Embedded Systems

Embedded Systems Design with Special Arithmetic and Number Systems

Wideband CMOS Receivers

Theory of Digital Automata

Smart Sensors and Systems

Design Technologies for Green and Sustainable Computing Systems

Network-on-Chip Architectures

High-Performance Computing on the Intel® Xeon Phi™

FPGAs for Software Programmers

Internet-of-Things (IoT) Systems

Engineering Applications of FPGAs

Dynamic Reconfiguration in Real-Time Systems

RFID Security

Electromigration Inside Logic Cells

Models, Methods, and Tools for Complex Chip Design

Low Power Interconnect Design

Efficient Test Methodologies for High-Speed Serial Links

Hardware/Software Architectures for Low-Power Embedded Multimedia Systems

Designing with Xilinx® FPGAs

Self-powered SoC Platform for Analysis and Prediction of Cardiac Arrhythmias

VLSI 2010 Annual Symposium

Trusted Computing for Embedded Systems

Design Technology for Heterogeneous Embedded Systems

Networks-on-Chip

Logic Circuit Design

The Physics of Computing

Computer Systems

Multi-Net Optimization of VLSI Interconnect

Near Threshold Computing

Robust Computing with Nano-scale Devices

Pipelined Multiprocessor System-on-Chip for Multimedia

Reversible Logic Synthesis Methodologies with Application to Quantum Computing

Smart Camera Design

Languages, Design Methods, and Tools for Electronic System Design

Low-Power Design and Power-Aware Verification

5G and E-Band Communication Circuits in Deep-Scaled CMOS

Regular Nanofabrics in Emerging Technologies

Did you like the book?

eBooks

Audiobooks

Why read with us?

Did you like the book?

Latest Blog Posts

Related Reads

SystemVerilog Assertions and Functional Coverage

Embedded Systems Architecture

Embedded Systems Design for High-Speed Data Acquisition and Control

VLSI Design

Advanced Symbolic Analysis for VLSI Systems

Compilation and Synthesis for Embedded Reconfigurable Systems

Dependable Multicore Architectures at Nanoscale

Skew-Tolerant Circuit Design

Analog Integrated Circuit Design Automation

Introduction to Hardware Security and Trust

Carbon Nanotubes for Interconnects

Hardware Protection through Obfuscation

Disruptive Logic Architectures and Technologies

Techniques for Building Timing-Predictable Embedded Systems

Embedded Systems Design with Special Arithmetic and Number Systems