076952320X

Microprocessor test and verification; proceedings.

International Workshop on Microprocessor Test and Verification (5th: 2004: Austin, Texas) Ed. by Magdy S. Abadir and Li-C Wang.

Computer Society Press

2005

117 pages

$161.00

Paperback

QA76.5

The 16 papers presented here are revised from original submissions to a September 2004 workshop on applications of verification, validation, and test to complex electronics at all levels. Papers discuss issues related to functional verification, including test-case generation, assertion-based verification, coverage, satisfiability, simulation, and debug. Some specific topics considered include extreme formal modeling for hardware models, debugging sequential circuits using Boolean satisfiability, and automatic test program generation driven by internal performance counters. There is no subject index.

([c] 2005 Book News, Inc., Portland, OR)

COPYRIGHT 2005 Book News, Inc.
COPYRIGHT 2005 Gale Group