We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£107.43
Springer Advanced BDD Optimization - VLSI CAD Engineering Book
Price data last checked 49 day(s) ago - refreshing...
Price History & Forecast
Last 36 days • 36 data points (No recent data available)
Price Distribution
Price distribution over 36 days • 2 price levels
Price Analysis
Most common price: £124 (34 days, 94.4%)
Price range: £107 - £124
Price levels: 2 different prices over 36 days
Description
Key Features
Covers the application of reduced ordered Binary Decision Diagrams (BDDs) in VLSI CAD environments.
Explains the use of clausal representation for solving Boolean Satisfiability (SAT) problems.
Provides insights into logic synthesis, verification, and design-for-testability processes.
Discusses optimization of BDDs through new objective functions for design space exploration.
Examines the integration of BDD and SAT concepts to meet modern industry trends.
Presents recent results and contemporary developments in BDD optimization techniques.
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
Springer Advanced BDD Optimization - VLSI CAD Computer Science
Springer
Springer - Binary Decision Diagrams: Theory and Implementation
Springer
Springer Advanced Symbolic Analysis for VLSI Systems Book
Springer
Evolutionary Algorithms for VLSI CAD
Springer
Springer - Advanced Techniques in Logic Synthesis Book
Springer
Wiley CAD of Circuits and Integrated Systems - Engineering Book
Wiley
An Artificial Intelligence Approach to VLSI Routing: 9 (The Springer International Series in Engineering and Computer Science, 9)
Springer
Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation
Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation
Technology Mapping for LUT-Based FPGA: 713 (Lecture Notes in Electrical Engineering, 713)
Springer
Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis: 270 (The Springer International Series in Engineering and Computer Science, 270)
Springer
Logic of Digital Circuits - Electronics and Telecommunications
Synthesis of Finite State Machines: Logic Optimization
Springer
Springer - Representations of Discrete Functions - Academic Book
Springer
Symbolic Analysis and Reduction of VLSI Circuits
Springer
Wiley Digital Logic Testing and Simulation - Engineering Book
Wiley
Digital VLSI Systems Design: A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog
Springer
VLSI Physical Design: From Graph Partitioning to Timing Closure
Springer
PLD Based Design with VHDL: RTL Design, Synthesis and Implementation
Springer
Logic Synthesis and Verification Algorithms
Springer
Springer Intelligent Computational Optimization in Engineering
Springer
Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems
Springer
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Advanced VLSI Design and Testability Issues
CRC Press