Back to home page
|Listed in category:

Image gallery
Have one to sell?
Sell it yourself
everybabykeepsakes
(815)
Registered as a private seller
Consumer protection regulations resulting from EU consumer law are therefore not applicable. eBay buyer protection still applies to most purchases.
Seller's other items
Contact seller

Algorithms and Data Structures in VLSI Design: OBDD Foundations Meinel Theobald

US $49.00
Approximately£36.92
or Best Offer
Condition:
New
Postage:
US $6.13 (approx £4.62) USPS Media MailTM.
Located in: Beaverton, Oregon, United States
Delivery:
Estimated between Thu, 8 May and Wed, 14 May
Delivery time is estimated using our proprietary method which is based on the buyer's proximity to the item location, the delivery service selected, the seller's delivery history and other factors. Delivery times may vary, especially during peak periods.
Returns:
No returns accepted.
Payments:
    Diners Club

Shop with confidence

eBay Money Back Guarantee
Get the item you ordered or your money back. Learn moreeBay Money Back Guarantee - opens new window or tab
Report this item - opens in new window or tab
Seller assumes all responsibility for this listing.
eBay item number:274493872647

Item specifics

Condition
New: A new, unread, unused book in perfect condition with no missing or damaged pages. See the ...
Topic
Design
ISBN
9783540644866

About this product

Product Identifiers

Publisher
Springer Berlin / Heidelberg
ISBN-10
3540644865
ISBN-13
9783540644866
eBay Product ID (ePID)
779358

Product Key Features

Number of Pages
Xii, 268 Pages
Publication Name
Algorithms and Data Structures in Vlsi Design : Obdd-Foundations and Applications
Language
English
Subject
Programming / General, Systems Architecture / General, Programming / Algorithms, Electronics / Circuits / Vlsi & Ulsi
Publication Year
1998
Type
Textbook
Author
Thorsten Theobald, Christopher Meinel
Subject Area
Computers, Technology & Engineering
Format
Trade Paperback

Dimensions

Item Height
0.3 in
Item Weight
31.4 Oz
Item Length
9.3 in
Item Width
6.1 in

Additional Product Features

Intended Audience
Scholarly & Professional
LCCN
98-026197
Dewey Edition
21
Number of Volumes
1 vol.
Illustrated
Yes
Dewey Decimal
621.39/5
Table Of Content
1. Introduction.- 2. Basics.- 2.1 Propositions and Predicates.- 2.2 Sets, Relations, and Functions.- 2.3 Graphs.- 2.4 Algorithms and Data Structures.- 2.5 Complexity of Algorithms.- 2.6 Hashing.- 2.7 Finite Automata and Finite State Machines.- 2.8 References.- I. Data Structures for Switching Functions.- 3. Boolean Functions.- 4. Classical Representations.- 5. Requirements on Data Structures in Formal Circuit Verification.- II. OBDDs: An Efficient Data Structure.- 6. OBDDs -- Ordered Binary Decision Diagrams.- 7. Efficient Implementation of OBDDs.- 8. Influence of the Variable Order on the Complexity of OBDDs.- 9. Optimizing the Variable Order.- III. Applications and Extensions.- 10. Analysis of Sequential Systems.- 11. Symbolic Model Checking.- 12. Variants and Extensions of OBDDs.- 13. Transformation Techniques for Optimization.
Synopsis
One of the main problems in chip design is the huge number of possible combinations of individual chip elements, leading to a combinatorial explosion as chips become more complex. New key results in theoretical computer science and in the design of data structures and efficient algorithms, can be applied fruitfully here. The application of ordered binary decision diagrams (OBDDs) has led to dramatic performance improvements in many computer-aided design projects. This textbook provides an introduction to the foundations of this interdisciplinary research area with an emphasis on applications in computer-aided circuit design and formal verification., One of the main problems in chip design is the enormous number of possible combinations of individual chip elements within a system, and the problem of their compatibility. The recent application of data structures, efficient algorithms, and ordered binary decision diagrams (OBDDs) has proven vital in designing the computer chips of tomorrow. This book provides an introduction to the foundations of this interdisciplinary research area, emphasizing its applications in computer aided circuit design.
LC Classification Number
QA76.6-76.66

Item description from the seller

About this seller

everybabykeepsakes

100% positive Feedback•1.5K items sold

Joined May 2007
Usually responds within 24 hours
Registered as a private sellerThereby, consumer rights stemming from EU consumer protection law do not apply. eBay buyer protection still applies to most purchases.
Seller's other itemsContact

Seller Feedback (433)

All ratings
Positive
Neutral
Negative
  • e***t (40)- Feedback left by buyer.
    Past year
    Verified purchase
    The plant came as expected and packaged well. Seller communicated very well that shipping was going to be delayed and verified that I was ok with that before finalizing the sale.
    XX Large Monstera Esqueleto Mature Form Very Rare, Rooted Plant Houseplant (#276075434636)
  • x***y (21)- Feedback left by buyer.
    Past year
    Verified purchase
    The plant arrives in perfect condition as described. The shipping is a bit delayed but the seller communicates the situation with me well. Seller responds fast. In addition, the plant has developed three more leaves after arrival.
    Extremely RARE Mutant Manjula Houseplant Plant Extra Variegated Rooted 4” Pot. (#276350064918)
  • i***i (2830)- Feedback left by buyer.
    More than a year ago
    Verified purchase
    Product as described. Great value good packaging and quick shipping will do business again.
    25 Set Stainless Metric Hex Head M12-1.75 x 40mm Bolts 12mm locking washer nut (#271829056823)
See all Feedback

More to explore: