Computer Graphics & Design, Electrical & Electronic Engineering, CAD/CAM, Engineering, Mathematics, Mathematics, Electrical & Electronic Engineering

Efficient Branch and Bound Search with Application to Computer-Aided Design

Name: Efficient Branch and Bound Search with Application to Computer-Aided Design
Author: Xinghao Chen
ISBN: 9781461285717

by Xinghao Chen, Michael L. Bushnell

Available on Bookshop Write a review

Books.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.

Overview

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.

Reviews

There are no reviews yet. Log in to write one.

Editorials

Booknews

Addresses the prohibitive computational cost of either decision- making or duplication when applying branch-and-bound search techniques to CAD problems, by introducing Justification Equivalence, an efficient method for logic justification, which is fundamental to automatic test pattern generation, redundancy identification, logic synthesis, minimization, verification, and other problems in CAD. The method avoids both duplication and decision trees by allowing the justifications processes to share identical subsequent search decision sequences. Includes a sequential circuit automatic test pattern generator on a 3.5" disk for Sun or Hewlett Packard computers. Oriented to people designing electronic circuits. Annotation c. Book News, Inc., Portland, OR (booknews.com)