0
Your cart

Your cart is empty

Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Circuits & components

Buy Now

Synthesis of Finite State Machines - Logic Optimization (Hardcover, 1997 ed.) Loot Price: R3,107
Discovery Miles 31 070
Synthesis of Finite State Machines - Logic Optimization (Hardcover, 1997 ed.): Tiziano Villa, Timothy Kam, Robert K. Brayton,...

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

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

 (sign in to rate)
Loot Price R3,107 Discovery Miles 31 070 | Repayment Terms: R291 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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

General

Imprint: Springer
Country of origin: Netherlands
Release date: 2001
First published: 1997
Authors: Tiziano Villa • Timothy Kam • Robert K. Brayton • Alberto L. Sangiovanni-Vincentelli
Dimensions: 235 x 155 x 23mm (L x W x T)
Format: Hardcover
Pages: 381
Edition: 1997 ed.
ISBN-13: 978-0-7923-9892-9
Categories: Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Circuits & components
Promotions
LSN: 0-7923-9892-0
Barcode: 9780792398929

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

Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R4,186 Discovery Miles 41 860
Microwave Active Circuit Analysis and…
Clive Poole, Izzat Darwazeh Hardcover R2,104 R1,817 Discovery Miles 18 170
Power Electronics Applied to Industrial…
Nicolas Patin Hardcover R2,025 Discovery Miles 20 250
Sensors and Transducers
Ian Sinclair Hardcover R1,750 Discovery Miles 17 500
Semiconductor Lasers II - Materials and…
Eli Kapon Hardcover R2,392 Discovery Miles 23 920
Valve and Transistor Audio Amplifiers
John Linsley Hood Paperback R1,735 Discovery Miles 17 350
Newnes Digital Logic IC Pocket Book…
R.M. Marston Hardcover R1,097 Discovery Miles 10 970
Active Filter Cookbook
Don Lancaster Paperback R1,490 Discovery Miles 14 900
Advances in Research and Development…
Maurice H. Francombe, John L. Vossen Hardcover R1,288 Discovery Miles 12 880
Digital Signal Processing Systems…
Cornelius T. Leondes Hardcover R1,289 Discovery Miles 12 890
Introduction to Microlithography
Larry F. Thompson, C. Grant Willson, … Hardcover R5,071 Discovery Miles 50 710
Modern Filter Design - Active RC and…
Mohammed S. Ghausi, Kenneth R Laker Hardcover R2,893 Discovery Miles 28 930

See more

Partners