Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Logic Synthesis and Verification Algorithms

Logic Synthesis and Verification Algorithms

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9780792397465
Condition
New
Product 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.

Available Colors
Available Sizes
1 Offer Price Range: $79.99 - $79.99
BEST PRICE

Single Product Purchase

$72.00
@ Link.springer.com with extra coupon Get Coupon & BUY

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$79.99 $79.99

10% OFF
This deals requires coupon Get Code Here
$72.00
See Site In stock Visit Store

Similar Products

Advanced Science and Technology of Sintering

$169.00

The Palgrave Handbook of Criminology and the Global South

$299.00

Women in the Middle East

$84.99

Nervenrztliche Erfahrungen und Eindrcke

$59.99

Algebraic Topology: An Introduction

$84.95

The Digitization of Business in China

$129.99

Self-Timed Control of Concurrent Processes

$84.99

HCI in Games

$109.99

Hazardous Environmental Micro-pollutants, Health Impacts and Allied Treatment Technologies

$139.99

Women in Management and Life Cycle

$54.99

Verification, Model Checking, and Abstract Interpretation

$54.99

Non-seismic and Non-conventional Exploration Methods for Oil and Gas in Cuba

$54.99

Perspektiven der Kognitionspsychologie

$69.99

Biogeography and Ecology of the Island of Newfoundland

$329.99

An Introduction to Model-Based Cognitive Neuroscience

$149.00

Pedagogies of Educational Transitions

$109.99

I Scream for Ice Cream

$4.46

Advances in VLSI, Signal Processing, Power Electronics, IoT, Communication and Embedded Systems

$279.99

Die geistigen Krankheitszustnde des Kindesalters

$44.99

Kompendium Kinderansthesie

$64.99

Chemisches Praktikum fr Mediziner

$44.99

Intelligent Reflecting Surface For B5G/6G Wireless Networks

$119.99

Corporate Shared Services

$59.99

Interngerichtetes Issues Management

$79.99

Rehabilitation von Cochlear-Implant-Kindern

$69.99

Die Untersuchungsmethoden

$69.99

New Developments in High Temperature Superconductivity

$84.99

Mathstart: A Pair of Socks

$6.71

DNA Electrophoresis

$84.99

Virtual Reality and Mixed Reality

$49.99

Computational Data and Social Networks

$64.99

Singular Perturbations in Systems and Control

$54.99

Fernseh-Programme in Deutschland

$59.99

Frontiers Law, Theory and Cases

$139.99

Haftung fr Zufgung seelischer Schmerzen

$59.99

Geometry and its Applications in Arts, Nature and Technology

$64.99

Theorie und Planung Psychologischer Experimente

$59.99

Recent Developments in Gravitation

$39.99

Detection of Bacteria, Viruses, Parasites and Fungi

$169.00

Advanced Application of Arthroscopy

$84.99