Logic Synthesis and Verification Algorithms - Image 1

£62.45

Springer Logic Synthesis and Verification Algorithms

Name: Logic Synthesis and Verification Algorithms
Brand: Springer
Price: 62.45 GBP
Availability: InStock

AI & Machine Learning

Price History & Forecast

Last 17 days • 17 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 17 days • 1 price levels

Days at Price

Price Analysis

Most common price: £62 (17 days, 100.0%)

Price range: £62 - £62

Price levels: 1 different prices over 17 days

Description

Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. It also serves as a basic reference work in design automation for both professionals and students. Logic Synthesis and Verification Algorithms is about the theoretical underpinnings of VLSI (Very Large Scale Integrated Circuits). It combines and integrates modern developments in logic synthesis and formal verification with the more traditional matter of Switching and Finite Automata Theory. The book also provides background material on Boolean algebra and discrete mathematics. A unique feature of this text is the large collection of solved problems. Throughout the text the algorithms covered are the subject of one or more problems based on the use of available synthesis programs.

Product Specifications

Brand: Springer
Format: Paperback
ASIN: 1475770367
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Publication Date: 18 March 2013
Listed Since: 22 September 2013

Barcode

No barcode data available

Springer Logic Synthesis and Verification Algorithms

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Digital VLSI Design with Verilog: A Textbook from Silicon Valley Polytechnic Institute

Springer - Advanced Techniques in Logic Synthesis Book

Design Systems for VLSI Circuits: Logic Synthesis and Silicon Compilation: 136 (NATO Science Series E:, 136)

Digital VLSI Systems Design: A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog

Springer Reasoning in Boolean Networks - Logic Synthesis Book

A Designer's Guide to VHDL Synthesis

Introduction to Logic Circuits & Logic Design with Verilog

SystemVerilog for Hardware Description: RTL Design and Verification

Scalable Hardware Verification with Symbolic Simulation

Logic Design and Verification Using SystemVerilog (Revised)

Digital VLSI Design and Simulation with Verilog

High-Level VLSI Synthesis: 136 (The Springer International Series in Engineering and Computer Science, 136)

High-Level VLSI Synthesis: 136 (The Springer International Series in Engineering and Computer Science, 136)

Digital VLSI Design with Verilog: A Textbook from Silicon Valley Polytechnic Institute

Wiley Verilog Coding for Logic Synthesis - Engineering Text

Introduction to Logic Circuits & Logic Design with VHDL

PLD Based Design with VHDL: RTL Design, Synthesis and Implementation

Introduction to Logic Circuits & Logic Design with VHDL

Design of Logic Systems

Switching Theory for Logic Synthesis

Electronic Design Automation: Synthesis, Verification, and Test (Systems on Silicon)

Reversible Logic Synthesis: From Fundamentals to Quantum Computing

Digital Logic for Computing

Algorithms for Synthesis and Testing of Asynchronous Circuits: 232 (The Springer International Series in Engineering and Computer Science, 232)