{"product_id":"9781461378211","title":"Synthesis of Finite State Machines: Logic Optimization","description":"\u003ch1\u003eSynthesis of Finite State Machines: Logic Optimization\u003c\/h1\u003e \u003ch2\u003eVilla, Tiziano; Kam, Timothy; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto L.\u003c\/h2\u003e \u003cp\u003e\u003cem\u003eSynthesis of Finite State Machines: Logic Optimization\u003c\/em\u003e is  the second in a set of two monographs devoted to the synthesis of  Finite State Machines (FSMs). The first volume, \u003cem\u003eSynthesis of Finite  State Machines:\u003c\/em\u003e \u003cem\u003eFunctional Optimization\u003c\/em\u003e, 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. \u003cbr\u003e  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. \u003cbr\u003e  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. \u003cbr\u003e  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  itminimally 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. \u003cbr\u003e  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. \u003cbr\u003e  \u003cem\u003eSynthesis of Finite State Machines: Logic Optimization\u003c\/em\u003e will be  of interest to researchers and professional engineers who work in the  area of computer-aided design of integrated circuits.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2012-10-04\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003e ISBN-10: 9781461378211\u003c\/p\u003e \u003cp\u003eISBN-13: 9781461378211\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-1-4615-6155-2\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 381\u003c\/p\u003e ","brand":"Springer","offers":[{"title":"Default Title","offer_id":44358770425996,"sku":"9781461378211","price":99.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9781461378211.jpg?v=1755113865","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9781461378211","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}