|
| |
[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]
Embedded Hardware System Design
.jpg)
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
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:
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:
Embedded Micropr ocessor
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:
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:
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:
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:
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:
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:
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:
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
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
| |
|
