Hoppa till sidans huvudinnehåll

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

Inbunden, Engelska, 1995

AvXinghao Chen,Michael L. Bushnell

1 389 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)


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. This volume 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. This book 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 intended, in particular, for those readers who are interested in the design and testing of digital circuits.

Produktinformation

  • Utgivningsdatum1995-12-31
  • Mått156 x 234 x 15 mm
  • Vikt418 g
  • FormatInbunden
  • SpråkEngelska
  • SerieFrontiers in Electronic Testing
  • Antal sidor146
  • Upplaga1996
  • FörlagKluwer Academic Publishers
  • ISBN9780792396734
Hoppa över listan

Mer från samma författare

Digital Design

Mohammad Karim, Xinghao Chen, USA) Karim, Mohammad (University of Massachusetts Dartmouth, MA, USA) Chen, Xinghao (Endwell, New York

Inbunden

2 339 kr

Hoppa över listan

Mer från samma serie

Hoppa över listan

Du kanske också är intresserad av

Digital Design

Mohammad Karim, Xinghao Chen, USA) Karim, Mohammad (University of Massachusetts Dartmouth, MA, USA) Chen, Xinghao (Endwell, New York

Inbunden

2 339 kr

  • Bokrea
Del 1

Klanen

Pascal Engman

Inbunden

99 kr299 kr