0
Your cart

Your cart is empty

Books > Professional & Technical > Technology: general issues > Instruments & instrumentation engineering > Engineering measurement & calibration

Buy Now

Efficient Branch and Bound Search with Application to Computer-Aided Design (Hardcover, 1996 ed.) Loot Price: R3,115
Discovery Miles 31 150
Efficient Branch and Bound Search with Application to Computer-Aided Design (Hardcover, 1996 ed.): Xinghao Chen, Michael L....

Efficient Branch and Bound Search with Application to Computer-Aided Design (Hardcover, 1996 ed.)

Xinghao Chen, Michael L. Bushnell

Series: Frontiers in Electronic Testing, 4

 (sign in to rate)
Loot Price R3,115 Discovery Miles 31 150 | Repayment Terms: R292 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

Branch-and-bound search has been known for a long time and has been widely used in solving a variety of problems in computer-aided design (CAD) and many important optimization problems. In many applications, the classic branch-and-bound search methods perform duplications of computations, or rely on the search decision trees which keep track of the branch-and-bound search processes. In CAD and many other technical fields, the computational cost of constructing branch-and-bound search decision trees in solving large scale problems is prohibitive and duplications of computations are intolerable. Efficient branch-and-bound methods are needed to deal with today's computational challenges. Efficient branch-and-bound methods must not duplicate computations. Efficient Branch and Bound Search with Application to Computer-Aided Design describes an efficient branch-and-bound method for logic justification, which is fundamental to automatic test pattern generation (ATPG), redundancy identification, logic synthesis, minimization, verification, and other problems in CAD. The method is called justification equivalence, based on the observation that justification processes may share identical subsequent search decision sequences. With justification equivalence, duplication of computations is avoided in the dynamic branch-and-bound search process without using search decision trees. Efficient Branch and Bound Search with Application to Computer-Aided Design consists of two parts. The first part, containing the first three chapters, provides the theoretical work. The second part deals with applications, particularly ATPG for sequential circuits. This book is particularly useful to readers who are interested in the design and test of digital circuits.

General

Imprint: Springer
Country of origin: Netherlands
Series: Frontiers in Electronic Testing, 4
Release date: 2001
First published: 1996
Authors: Xinghao Chen • Michael L. Bushnell
Dimensions: 234 x 156 x 11mm (L x W x T)
Format: Hardcover
Pages: 146
Edition: 1996 ed.
ISBN-13: 978-0-7923-9673-4
Categories: Books > Professional & Technical > Technology: general issues > Instruments & instrumentation engineering > Engineering measurement & calibration
Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Electronic devices & materials > General
Promotions
LSN: 0-7923-9673-1
Barcode: 9780792396734

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Electric Power Industry Accidents - We…
Ganesh Narine Hardcover R1,016 Discovery Miles 10 160
Applied Aspects of Modern Metrology
Oleh Velychko Hardcover R3,494 Discovery Miles 34 940
Standards, Methods and Solutions of…
Luigi Cocco Hardcover R3,474 Discovery Miles 34 740
Bogatin's Practical Guide to…
Eric Bogatin Hardcover R2,801 Discovery Miles 28 010
Quantitative Core Level Photoelectron…
Juan A Colon Santana Hardcover R3,227 Discovery Miles 32 270
Instrumentation and Measurement in…
Roman Malaric Hardcover R2,167 Discovery Miles 21 670
Mechanical Measurements 2nd Edition
S. P. Venkateshan Hardcover R2,689 Discovery Miles 26 890
Traceable Temperatures - An Introduction…
J.V. Nicholas Hardcover R5,696 Discovery Miles 56 960
High Voltage Measurement Techniques…
Klaus Schon Hardcover R5,050 Discovery Miles 50 500
Computational Methods and Experimental…
G.M. Carlomagno, G Marseglia, … Hardcover R2,408 Discovery Miles 24 080
Introduction to Focused Ion Beam…
David C. Cox Hardcover R3,227 Discovery Miles 32 270
Advances in Biosensors - Reviews, Volume…
Sergey Yurish Hardcover R2,579 Discovery Miles 25 790

See more

Partners