We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£113.94
This is the most expensive it has ever been. Walk away.
£114 today · previous high £114 · all-time low £108
Springer Advanced BDD Optimization - VLSI CAD Design Techniques
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 73 days · 73 data points (no recent data)
NEW HERE?
Amazon shows you one price. We show you all of them.
Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.
WHAT'S ON THIS PAGE
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
name your number, we'll email you
Price Distribution
Price distribution over 73 days • 2 price levels
Price Analysis
Most common price: £108 (56 days, 76.7%)
Price range: £108 - £114
Price levels: 2 different prices over 73 days
Description
Key Features
Springer publication covering modern BDD optimisation methods for VLSI CAD design and logic synthesis applications.
Explores reduced ordered Binary Decision Diagrams and Boolean Satisfiability as integrated problem-solving approaches.
Addresses practical BDD optimisation with respect to new objective functions for efficient design space exploration.
Covers logic synthesis, verification, and design-for-testability using advanced BDD and SAT techniques.
Presents latest trends in fusing BDD and SAT concepts for enhanced VLSI design methodology.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 144193796X
- Domain
- Amazon UK
- Release Date
- 29 October 2010
- Listed Since
- 20 September 2010
Barcode
No barcode data available
Similar Products You Might Like
Advanced BDD Optimization - Springer Computer Science Book
Springer
Binary Decision Diagrams and Applications for VLSI CAD
Springer
Springer - Advanced Techniques in Logic Synthesis Book
Springer
Binary Decision Diagrams: Theory and Implementation - Springer
Springer
Decision Diagram Techniques for Micro- and Nanoelectronic Design Handbook
CRC Press
Reasoning in Boolean Networks - Logic Synthesis Verification
Springer
Test Pattern Generation using Boolean Proof Engines
Springer
Computation Engineering: Applied Automata Theory and Logic
Springer
Boolean Circuit Rewiring: Bridging Logical and Physical Designs
Wiley
Decision Diagram Techniques for Micro- and Nanoelectronic Design Handbook
CRC Press
CAD of Circuits and Integrated Systems - Wiley Engineering
Wiley
Advanced Symbolic Analysis for VLSI Systems - Springer
Springer
Logic Design of NanoICS (Nano- and Microscience, Engineering, Technology and Medicine)
CRC Press
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings: 9706 (Lecture Notes in Computer Science, 9706)
Springer
Technology Mapping for LUT-Based FPGA: 713 (Lecture Notes in Electrical Engineering, 713)
Springer
Automatic Programming Applied to VLSI CAD Software - Springer
Springer
VLSI-SoC: Research Trends in VLSI and Systems on Chip: Fourteenth International Conference on Very Large Scale Integration of System on Chip ... and Communication Technology, 249)
Springer
Logic Programming and Nonmonotonic Reasoning: 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings: 13416 (Lecture Notes in Computer Science, 13416)
Springer
Open Source TCAD/EDA for Compact Modeling: 59 (Springer Series in Advanced Microelectronics, 59)
Springer
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II: 12167 (Lecture Notes in Computer Science, 12167)
Springer
Assertion-Based Design
Springer
Boolean Reasoning: The Logic of Boolean Equations - Springer
Springer
Electronic Design Automation for IC System Design, Verification, and Testing (Electronic Design Automation for Integrated Circuits Handbook)
CRC Press
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I: 12166 (Lecture Notes in Computer Science, 12166)
Springer