|
Books > Professional & Technical > Energy technology & engineering > Electrical engineering
|
Buy Now
Synthesis of Finite State Machines - Functional Optimization (Paperback, Softcover reprint of hardcover 1st ed. 1997)
Loot Price: R4,442
Discovery Miles 44 420
|
|
|
Synthesis of Finite State Machines - Functional Optimization (Paperback, Softcover reprint of hardcover 1st ed. 1997)
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
