0
Your cart

Your cart is empty

Books > Computing & IT > General theory of computing

Buy Now

Synthesis of Finite State Machines - Functional Optimization (Hardcover, 1997 ed.) Loot Price: R4,735
Discovery Miles 47 350
You Save: R355 (7%)
Synthesis of Finite State Machines - Functional Optimization (Hardcover, 1997 ed.): Timothy Kam, Tiziano Villa, Robert K....

Synthesis of Finite State Machines - Functional Optimization (Hardcover, 1997 ed.)

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

 (sign in to rate)
List price R5,090 Loot Price R4,735 Discovery Miles 47 350 | Repayment Terms: R444 pm x 12* You Save R355 (7%)

Bookmark and Share

Expected to ship within 12 - 19 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
Country of origin: Netherlands
Release date: December 1996
First published: 1997
Authors: Timothy Kam • Tiziano Villa • Robert K. Brayton • Alberto L. Sangiovanni-Vincentelli
Dimensions: 234 x 156 x 17mm (L x W x T)
Format: Hardcover
Pages: 282
Edition: 1997 ed.
ISBN-13: 978-0-7923-9842-4
Categories: Books > Computing & IT > General theory of computing > General
Books > Computing & IT > Applications of computing > General
Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Circuits & components
Promotions
LSN: 0-7923-9842-4
Barcode: 9780792398424

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

Systems Analysis And Design In A…
John Satzinger, Robert Jackson, … Hardcover  (1)
R1,334 R1,217 Discovery Miles 12 170
Oracle 12c - SQL
Joan Casteel Paperback  (1)
R1,375 R1,249 Discovery Miles 12 490
Systems Analysis And Design
Scott Tilley Hardcover R1,354 R1,232 Discovery Miles 12 320
Foundations Of Computer Science
Behrouz Forouzan Paperback R1,236 R1,133 Discovery Miles 11 330
Introduction to Computer Theory
Daniel I. A. Cohen Paperback  (4)
R7,080 Discovery Miles 70 800
Discovering Computers 2018 - Digital…
Misty Vermaat, Steven Freund, … Paperback R1,323 R1,206 Discovery Miles 12 060
Dynamic Web Application Development…
David Parsons, Simon Stobart Paperback R1,309 R1,192 Discovery Miles 11 920
Program Construction - Calculating…
Roland Backhouse Paperback R2,800 Discovery Miles 28 000
Introduction to the Theory of…
Michael Sipser Hardcover R1,322 R1,200 Discovery Miles 12 000
Discovering Computers, Essentials…
Susan Sebok, Jennifer Campbell, … Paperback R1,256 R1,144 Discovery Miles 11 440
Axiomatic Design - Advances and…
Nam P Suh Hardcover R6,473 Discovery Miles 64 730
Sociophysics: An Introduction
Parongama Sen, Bikas K. Chakrabarti Hardcover R3,757 Discovery Miles 37 570

See more

Partners