|
|
Digital Terrain Modeling: Acquisition, Manipulation And Applications (Artech House Remote Sensing Library) |
|
|
|
|
Symbolic Simulation Methods for Industrial Formal Verification |
|
|
From Book News, Inc.
As the problem of buggy computer hardware increases faster than other innovations of design, the solution has been to beef up conventional approaches to formal verification, which entails exhaustive analysis of some aspect of design behavior. Jones, an electrical engineer at Intel, suggests symbolic simulation as a highly effective and somewhat neglected alternative. He admits that the approach does have computational limits, but says they are not as severe in ... >> |
|
|
Single and Multi-Chip Microcontroller Interfacing : For the Motorola 6812 (Academic Press Series in Engineering) |
|
|
Book News, Inc.
A textbook for a senior course on the combined hardware and software design of microcomputer systems. Uses a specific chip to illustrate design concepts and simplify the practical exercises. Also uses the C and C++ computer languages. Surveys the background needed, then focuses on input-output hardware and software, analog signals, and communications. The CD-ROM contains all the software and examples from the book. No bibliography. -- Copyright © 1999 Book N... >> |
|
|
Digital Design
|
