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
9780792398424
Condition
New
Product Description

Synthesis of Finite State Machines: Functional Optimization is one of two monographs devoted to the synthesis of Finite State Machines (FSMs). This volume addresses functional optimization, whereas the second addresses logic optimization. By functional optimization here we mean the body of techniques that: compute all permissible sequential functions for a given topology of interconnected FSMs, and select a `best' sequential function out of the permissible ones. The result is a symbolic description of the FSM representing the chosen sequential function. By logic optimization here we mean the steps that convert a symbolic description of an FSM into a hardware implementation, with the goal to optimize objectives like area, testability, performance and so on. Synthesis of Finite State Machines: Functional Optimization is divided into three parts. The first part presents some preliminary definitions, theories and techniques related to the exploration of behaviors of FSMs. The second part presents an implicit algorithm for exact state minimization of incompletely specified finite state machines (ISFSMs), and an exhaustive presentation of explicit and implicit algorithms for the binate covering problem. The third part addresses the computation of permissible behaviors at a node of a network of FSMs and the related minimization problems of non-deterministic finite state machines (NDFSMs). Key themes running through the book are the exploration of behaviors contained in a non-deterministic FSM (NDFSM), and the representation of combinatorial problems arising in FSM synthesis by means of Binary Decision Diagrams (BDDs). Synthesis of Finite State Machines: Functional Optimization will be of interest to researchers and designers in logic synthesis, CAD and design automation.

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

We Are Not Free- A Printz Honor Winner by Traci Chee

$15.99

Oeuvres - Collected Papers III

$69.99

Insect Conservation and Australias Grasslands

$139.00

Multidisciplinary Systems Engineering

$109.99

Weltgeschichtliche Entwicklungslinien vom 19. zum 20. Jahrhundert in Kultur und Politik

$59.99

Two-Dimensional Real-Time Ultrasonic Imaging of the Heart

$219.99

Developmental Origins of Health and Disease (DOHaD)

$179.99

Unternehmenskommunikation kompakt

$44.99

Oscillation-Based Test in Mixed-Signal Circuits

$169.99

Quantum Stochastic Calculus and Representations of Lie Superalgebras

$29.99

ber Aufbau, Eigenschaften und Prfmethoden feuerfester Mrtel

$59.99

Umweltwahrscheinlichkeitshaftung

$44.99

Datenbankkonversationen

$49.99

Nature Stories: Little Acorn

$4.46

Advances in Microbial Ecology

$39.99

Analysis and Control of Nonlinear Systems

$84.99

Allgemeine Betriebswirtschaftslehre

$59.99

Captain Bling's Christmas Plunder

$3.71

Demobilization in Subsaharan Africa

$109.99

Religious Renewal in France, 1789-1870

$129.99

Zum Teufel mit der Steuer!

$37.99

Coconut Water

$109.99

Nonlinear Infrared Generation

$39.99

Random Integral Equations with Applications to Stochastic Systems

$29.99

Frontiers of Particle Beams: Intensity Limitations

$84.99

Inconsistency Tolerance

$54.99

Algorithm Theory -- SWAT 2012

$54.99

Hypertension and Cardiovascular Disease in Asia

$179.99

Hormone Therapy

$129.99

Hematopoietic Stem Cell Protocols

$74.99

CAD Management

$129.00

Modeling and Simulation: Theory and Practice

$129.00

System Level Design from HW/SW to Memory for Embedded Systems

$54.99

Retinal Degenerations

$219.99

Foliations and Geometric Structures

$109.99

China Ethnic Statistical Yearbook 2020

$84.99

Dance Theatre in Ireland

$39.99

Life Cycle Costing

$119.00

Rationales Handeln und soziale Prozesse

$89.99

Mathematical Modelling of Estuarine Physics

$109.99