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

$79.99
@ Link.springer.com     BUY Now

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

$79.99
See Site In stock Visit Store

Similar Products

Rational Continua, Classical and New

$39.99

Beitrag zur Bestimmung der spezifischen Oberflche von Glaspulvern und deren Beziehung zu den aus de

$59.99

A Tiny Handbook of R

$49.99

Neue Automatisierungstechniken

$37.99

Niederlndische Literaturgeschichte

$34.99

The Arnold-Gelfand Mathematical Seminars

$169.99

The Ross Dependency

$74.99

Erfolgreiche Geschftsprozesse durch standardisierte Warenwirtschaftssysteme

$44.99

AsiaSim 2014

$54.99

Early Modern Civil Discourses

$54.99

Diagnosis and Treatment of Aortic Diseases

$129.00

The Palgrave Handbook of Political Elites

$259.00

Digital Finance, Bits and Bytes

$99.00

Unifying Petri Nets

$54.99

The Cultural Life of Capitalism in Yugoslavia

$89.00

Filterbnke und Audiocodierung

$29.99

Modern Building Materials, Structures and Techniques

$329.99

Neutrinos, Dunkle Materie und Co

$17.99

Imaging of the Liver and Intra-hepatic Biliary Tract

$129.00

Gnomes in the Fog

$84.99

Finite Horizon H and Related Control Problems

$54.99

Knowledge Science, Engineering and Management

$84.99

Entrepreneurship in Technology for ASEAN

$109.99

Exploring Probability in School

$89.00

Knowing Bodies, Moving Minds

$169.99

Technologie der III/V-Halbleiter

$49.99

High Performance Computing

$84.99

Understanding Risks and Uncertainties in Energy and Climate Policy

$59.99

Die Citronensure und ihre Derivate

$59.99

Stable Solution of Inverse Problems

$44.99

Translation and Technology

$109.99

Psychiatriereformen zwischen Medikalisierung und Gemeindeorientierung

$59.99

Ethical Challenges in Cancer Diagnosis and Therapy

$139.99

Synchronization Techniques for Digital Receivers

$379.99

Acute Neuronal Injury

$189.00

The Geography of Beer

$189.00

Best Practices in Management Accounting

$119.99

Single-Facility Location Problems with Barriers

$39.99

Managing Development in a Global Context

$54.99

Content-Based Access to Multimedia Information

$84.99