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

Synthesis of Finite State Machines

Synthesis of Finite State Machines

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9781461561552
Condition
New
Product Description

Synthesis of Finite State Machines: Logic Optimization is the second in a set of two monographs devoted to the synthesis of Finite State Machines (FSMs). The first volume, Synthesis of Finite State Machines: Functional Optimization, addresses functional optimization, whereas this one addresses logic optimization. The result of functional optimization is a symbolic description of an FSM which represents a sequential function chosen from a collection of permissible candidates. Logic optimization is the body of techniques for converting a symbolic description of an FSM into a hardware implementation. The mapping of a given symbolic representation into a two-valued logic implementation is called state encoding (or state assignment) and it impacts heavily area, speed, testability and power consumption of the realized circuit. The first part of the book introduces the relevant background, presents results previously scattered in the literature on the computational complexity of encoding problems, and surveys in depth old and new approaches to encoding in logic synthesis. The second part of the book presents two main results about symbolic minimization; a new procedure to find minimal two-level symbolic covers, under face, dominance and disjunctive constraints, and a unified frame to check encodability of encoding constraints and find codes of minimum length that satisfy them. The third part of the book introduces generalized prime implicants (GPIs), which are the counterpart, in symbolic minimization of two-level logic, to prime implicants in two-valued two-level minimization. GPIs enable the design of an exact procedure for two-level symbolic minimization, based on a covering step which is complicated by the need to guarantee encodability of the final cover. A new efficient algorithm to verify encodability of a selected cover is presented. If a cover is not encodable, it is shown how to augment itminimally until an encodable superset of GPIs is determined. To handle encodability the authors have extended the frame to satisfy encoding constraints presented in the second part. The covering problems generated in the minimization of GPIs tend to be very large. Recently large covering problems have been attacked successfully by representing the covering table with binary decision diagrams (BDD). In the fourth part of the book the authors introduce such techniques and extend them to the case of the implicit minimization of GPIs, where the encodability and augmentation steps are also performed implicitly. Synthesis of Finite State Machines: Logic Optimization will be of interest to researchers and professional engineers who work in the area of computer-aided design of integrated circuits.

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

Single Product Purchase

$84.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
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Clifford the Big Red Dog: Clifford's ABC

$2.99

Theory on the Edge

$54.99

Visions of African Unity

$119.00

Many-valued Semantics and Modal Logics: Essays in Honour of Yuriy Vasilievich Ivlev

$99.00

Postoperative Epidural Opioids

$109.99

Der bedingte Reflex und die vegetative Rhythmik des Menschen dargestellt am Elektrodermatogramm

$59.99

Alltag, Geld und Medien

$59.99

A Practical Guide to Building Professional Competencies in School Psychology

$84.99

T Cell Activation by CD1 and Lipid Antigens

$129.00

Spectrometry of Fuels

$109.99

Partielle Differentialgleichungen der Geometrie und der Physik 2

$39.99

Vergangenheitsbewltigung am Ende des zwanzigsten Jahrhunderts

$44.99

Orchestration of Learning Environments in the Digital World

$179.99

Smart Intelligent Computing and Applications, Volume 1

$279.99

Handbook of Digital 3D Reconstruction of Historical Architecture

$59.99

Die Wohlfahrtsverbande als fderale Organisationen

$34.99

Proteomics in Domestic Animals: from Farm to Systems Biology

$199.99

Operationsplanung und Erfolgskontrolle

$69.99

Knowledge-Based Systems in Astronomy

$39.99

Cultures, Communities, Identities

$84.99

Higher Education and the Practice of Hope

$109.99

Powertrain Development with Artificial Intelligence

$89.00

Laura BassiThe World's First Woman Professor in Natural Philosophy

$99.99

Dynamic Feature Space Modelling, Filtering and Self-Tuning Control of Stochastic Systems

$54.99

Sicherheit und Gesundheitsschutz im Laboratorium

$139.00

Armer Heinrich, reicher Heinrich - Deutscher Heinrich

$64.99

Non-Relativistic Quantum Dynamics

$109.99

Advances in Cryptology CRYPTO 2023

$89.00

DV-Controlling

$64.99

Oral Disease

$54.99

Intergenerational Solidarity

$84.99

Political Spirituality in an Age of Eco-Apocalypse

$109.99

Frauen Literatur Geschichte

$84.99

Pathogenic Yersinia

$119.99

Developing Sustainable Careers Across the Lifespan

$54.99

The External Fixator

$54.99

Cultural Change in East-Central European and Eurasian Spaces

$139.99

Cellular Function and Metabolism

$169.00

Thinking Seriously About Gangs

$84.99

Folly and Fortune in Early British History

$48.00