Books: Embedded Hardware Design
 

Home
Search
MicroControllerShop
Publications
Embedded News Digest
Resources
Contents
Contact Us

[Back to Book Index] [Microcontroller Books in German]

Microcontroller Architectures:

[ARM] [Atmel AVR] [Basic Stamp] [Freescale 68xx] [Intel 8051] [Microchip PIC] [MIPS] [Microcontroller Generic]

Interfaces:

[Bluetooth] [CAN] [Embedded Internet] [Parallel Port, Serial Port, USB]

Programming Languages:
[Assembler] [Basic] [C & C++ Programming] [C for Microcontrollers] [Java, Forth, UML]

Others:

[Applications] [Embedded Operating Systems] [Chip Design] [Hardware Design] [Software & Firmware Development]

Search:
Keywords:

Embedded Hardware System Design

Embedded Controller Hardware Design (With CD-ROM)

The term "embedded system" refers to the incorporation of microcontrollers and microprocessors in equipment, appliances, toys, and other devices that provide a certain degree of computer control. This introduction to the design of embedded systems provides for hardware and software engineers the methodology, base of knowledge, and common problems in the field of embedded design. Included are discussions of device architecture, memory, I/O, and development techniques. Hardware design topics and information regarding specific, commercially available devices are addressed. This book also explores processor interfacing, buses, user programmable logic devices, system timing, and design verification. Includes CD-ROM

Buy this book

Synchronous Equivalence Formal Methods for Embedded Systems

Synchronous Equivalence: Formal Methods for Embedded Systems

An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. Traditionally, one or more electronic circuits or microprocessors are literally embedded in the system, either taking up roles that used to be performed by mechanical devices, or providing functionality that is not otherwise possible. The goal of this book is to investigate how formal methods can be applied to the domain of embedded system design. The emphasis is on the specification, representation, validation, and design exploration of such systems from a high-level perspective. The authors review the framework upon which the theories and experiments are based, and through which the formal methods are linked to synthesis and simulation. A formal verification methodology is formulated to verify general properties of the designs and demonstrate that this methodology is efficient in dealing with the problem of complexity and effective in finding bugs. However, manual intervention in the form of abstraction selection and separation of timing and functionality is required. It is conjectured that, for specific properties, efficient algorithms exist for completely automatic formal validations of systems. Synchronous Equivalence: Formal Methods for Embedded Systems presents a brand new formal approach to high-level equivalence analysis. It opens design exploration avenues previously uncharted. It is a work that can stand alone but at the same time is fully compatible with the synthesis and simulation framework described in another book by Kluwer Academic Publishers Hardware--Software Co-Design of Embedded Systems: The POLIS Approach, by Balarin et al. Synchronous Equivalence: Formal Methods for Embedded Systems will be of interest to embedded system designers (automotive electronics, consumer electronics, and telecommunications), micro-controller designers, CAD developers and students, as well as IP providers, architecture platform designers, operating system providers, and designers of VLSI circuits and systems.

Buy this book from:

sorry not available from Amazon.de (Germany)

 

 

Debugging Embedded Microprocessor Systems

Debugging Embedded Microprocessor Systems

In this book, the author addresses hardware and software issues, including up-front design techniques to prevent bugs and contain design creep. Practical advice includes descriptions of common tools which can be used to help identify and repair bugs, as well as test routines. RTOS and embedded PC environments are also covered. Each chapter of Debugging Embedded Microprocessor Systems opens with an example design problem which illustrates real-world issues such as design changes, time pressures, equipment or component availability, etc. Case studies of past debugging projects are presented in the final chapter.

Buy this book from:

Buy this book

Amazon.de (Germany)

 

 

Embedded MicroprEmbedded Microprocessor Systems Real World Designocessor Systems: Real World Design, Third Edition

The new edition of Embedded Microprocessor Systems provides an introduction to the design of embedded microprocessor systems, from the initial concept through debugging the final result. Now included are brand new material on DMA, interrupts and an emphasis throughout on the real-time nature of embedded systems. Unlike many books on the market, Embedded Microprocessor Systems is not limited to describing any specific processor family, but covers the operation of and interfaces to several types of processors with an emphasis on cost and design tradeoffs. Included throughout the book are numerous examples, tips, and pitfalls you can only learn from an experienced designer. Not only will you find out how to implement faster and better design processes, but also how to avoid time-consuming and expensive mistakes. The author's many years of experience in industry have given him an extremely practical approach to design realities and problems. He describes the entire process of designing circuits and the software that controls them, assessing the system requirements, as well as testing and debugging systems.

Buy this book from:

Buy this book

Amazon.de (Germany)

 

 

Specification and Design of Embedded Systems

Specification and Design of Embedded Systems

A textbook that surveys the basic concepts in system design and presents the principles of system-design methodologies, including software and hardware. Following an introductory chapter, eight chapters address models and architectures, specification languages, a specification example, translation to VHDL, system partitioning, design quality estimation, specification refinement, and system-design methodology. For system designers and engineering managers, and CAD- tool developers, or for an advanced undergraduate or graduate course. Annotation copyright Book News, Inc. Portland, Or.

Buy this book from:

sorry not available from Amazon.de (Germany)

 

 

Custom Memory Management Methodology Exploration of Memory Organization for Embedded Multimedia System Design

From Book News, Inc.
Provides an overview of the state-of-the-art in system-level memory management (data transfer and storage) related issues for complex data-dominated real-time signal and data processing applications. Each of the six authors introduces a system-level data transfer and storage exploration methodology for data-dominated video applications. This methodology addresses the power and area reduction cost components in the architecture for the system-level busses and background memories. Several realistic demonstrators are included, and the general applicability and effectiveness has been substantiated for several industrial data-dominated applications, including H.263 video conferencing, decoding, and medical computer tomography (CT) back projection. The book is aimed at researchers, design engineers and CAD managers, and is based on research at IMEC from 1989-1997. Book News, Inc., Portland, OR

Buy this book from:

Buy this book

Amazon.de (Germany)

 

 

Embedded System Applications

Book News, Inc.
Twenty-two papers describe the latest software tools and techniques for embedded system design in a variety of applications, including avionics, satellites, radio astronomy, and space and control systems. Other topics include industrial best-practice in embedded system design and the variety of hardware and software components which perform specific function in host systems, such as satellites, washing machines, hand-held telephones and automobiles. Of interest to researchers and designers working in the design of embedded systems for industrial applications. -- Copyright 1999 Book News, Inc., Portland, OR All rights reserved.

Buy this book from:

Buy this book

sorry not available from Amazon.de (Germany)

 

 

Embedded System Design: A Unified Hardware Software Introduction

From Book News, Inc.
This textbook addresses both hardware design and software design for microprocessors embedded in electronic devices. It describes standard single purpose processors, memories, and interfacing, and uses the example of a digital camera to illustrate trade-offs that must be made in power, performance, and size. More advanced topics include state machine computation models, control systems, and IC technologies. Book News, Inc., Portland, OR

Buy this book from:

Amazon.de (Germany)

 

 

Embedded Systems Design: An Introduction to Processes, Tools and Techniques

Hardware/Software Partitioning, Cross-Platform Development, Firmware Debugging, Performance Analysis, Testing & Integration. Get into embedded systems programming with a clear understanding of the development cycle and the specialized aspects of writing and testing software in this environment. Learn how to apply your development skills to new software and hardware tools you'll need to work effectively in this cross-development environment.

Buy this book from:

Buy this book

Amazon.de (Germany)

 

 

The Art of Designing Embedded Systems

"The Art of Designing Embedded Systems" is part primer and part reference, aimed at practicing embedded engineers, whether working on the code or the hardware design. Embedded systems suffer from a chaotic, ad hoc development process. This books lays out a very simple seven-step plan to get firmware development under control. There are no formal methodologies to master; the ideas are immediately useful. Most designers are unaware that code complexity grows faster than code size. This book shows a number of ways to linearize the complexity/size curve and get products out faster. Ganssle shows ways to get better code and hardware designs by integrating hardware and software design. He also covers troubleshooting, real time and performance issues, relations with bosses and coworkers, and tips for building an environment for creative work.

Buy this book

Function-Architecture Optimization and Co-Design of Embedded Systems

From Book News, Inc.
Presents original research in developing a function/architecture optimization and co-design formal methodology and framework for control-dominated embedded systems. The approach presented incorporates both data flow and control optimizations performed on a novel, intermediate design-task representation. Discusses methodology, focusing on design representation, optimization, validation, and synthesis. The difference between behavior specification and implementation is emphasized. Describes how performing data flow and control optimizations at the high abstraction level can lead to significant size and performance improvements in both synthesized hardware and software.Book News, Inc., Portland, OR

Buy this book from:

sorry not available from Amazon.de (Germany)

 

 

Hardware Software Co-Design for Data Flow Dominated Embedded Systems

From Book News, Inc.
Introduces different tasks of hardware/software co-design, including system specification, hardware/software partitioning, co-synthesis, and co-simulation. Summarizes and classifies co-design tools and methods for these tasks, and presents the co-design tool COOL, useful for solving co-design tasks for the class of data-flow dominated embedded systems. Primary emphasis is on hardware/software partitioning and the co-synthesis phase and their coupling. A mathematical formulation of the hardware/software partitioning problem is given, and several novel approaches are presented and compared for solving the partitioning problem. Book News, Inc., Portland, OR

Buy this book

Designing Embedded Hardware

Designing Embedded Hardware

There are hundreds of books to choose from if you need to learn programming, but only a few are available if you want to learn to create hardware. Designing Embedded Hardware provides software and hardware engineers with no prior experience in embedded systems with the necessary conceptual and design building blocks to understand the architectures of embedded systems. Written to provide the depth of coverage and real-world examples developers need, Designing Embedded Hardware also provides a road-map to the pitfalls and traps to avoid in designing embedded systems. Designing Embedded Hardware covers such essential topics as: The principles of developing computer hardware; Core hardware designs; Assembly language concepts; Parallel I/O; Analog-digital conversion; Timers (internal and external); UART; Serial Peripheral Interface; Inter-Integrated Circuit Bus; Controller Area Network (CAN);Data Converter Interface (DCI); Low-power operation. This invaluable and eminently useful book gives you the practical tools and skills to develop, build, and program your own application-specific computers.

Buy this book

 

[Home] [Search] [MicroControllerShop] [Publications] [Embedded News Digest] [Resources] [Contents] [Contact Us]

Email us with questions or comments about this web site.
Copyright 2002-2008 MicroController Pros Corporation
Last modified: 12/16/08