0
Your cart

Your cart is empty

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,229
Discovery Miles 42 290
Synthesis of Finite State Machines - Functional Optimization (Paperback, Softcover reprint of hardcover 1st ed. 1997): Timothy...

Synthesis of Finite State Machines - Functional Optimization (Paperback, Softcover reprint of hardcover 1st ed. 1997)

Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

 (sign in to rate)
Loot Price R4,229 Discovery Miles 42 290 | Repayment Terms: R396 pm x 12*

Bookmark and Share

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

Imprint: Springer-Verlag New York
Country of origin: United States
Release date: December 2010
First published: 1997
Authors: Timothy Kam • Tiziano Villa • Robert K. Brayton • Alberto L. Sangiovanni-Vincentelli
Dimensions: 235 x 155 x 15mm (L x W x T)
Format: Paperback
Pages: 282
Edition: Softcover reprint of hardcover 1st ed. 1997
ISBN-13: 978-1-4419-5170-0
Categories: Books > Professional & Technical > Technology: general issues > Technical design > Computer aided design (CAD)
Books > Professional & Technical > Energy technology & engineering > Electrical engineering > General
Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Circuits & components
LSN: 1-4419-5170-9
Barcode: 9781441951700

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..

Power System Analysis and Design, SI…
J. Duncan Glover, Mulukutla Sarma, … Paperback R1,312 R1,178 Discovery Miles 11 780
Eskom - Power, Politics And The (Post…
Faeeza Ballim Paperback R280 R219 Discovery Miles 2 190
My Revision Notes: Building Services…
Mike Jones, Stephen Jones, … Paperback R606 Discovery Miles 6 060
Building Services Engineering for…
Peter Tanner, Stephen Jones, … Paperback R1,300 Discovery Miles 13 000
Electrical and Magnetic Circuits
Konstantin K Kim Hardcover R2,536 Discovery Miles 25 360
Requirements for Electrical…
The Institution of Engineering and Technology Paperback R3,210 Discovery Miles 32 100
Guide to Electronic Wiring and Soldering…
A.D. Jagobin Paperback R265 Discovery Miles 2 650
Death of a Light Bulb
John Otten Paperback R371 Discovery Miles 3 710
Loki; the Life of Charles Proteus…
Jonathan Norton 1903-1975 Leonard Hardcover R883 Discovery Miles 8 830
Metamaterials and Metasurfaces - Basics…
Subal Kar Hardcover R2,111 Discovery Miles 21 110
Data Reimagined - Building Trust One…
Jodi Daniels, Justin Daniels Hardcover R690 R578 Discovery Miles 5 780
The Problem of Increasing Human Energy…
Nikola Tesla Hardcover R414 Discovery Miles 4 140

See more

Partners