Synthesis of Finite State Machines: Logic Optimization - Image 1

£83.54

Springer Synthesis of Finite State Machines: Logic Optimization

Name: Synthesis of Finite State Machines: Logic Optimization
Brand: Springer
Price: 83.48 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 43 days • 43 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 43 days • 1 price levels

Days at Price

Price Analysis

Most common price: £84 (43 days, 100.0%)

Price range: £84 - £84

Price levels: 1 different prices over 43 days

Description

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

Key Features

Used Book in Good Condition

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 0792398920
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 30 April 1997
Listed Since: 15 December 2006

Barcode

No barcode data available

Springer Synthesis of Finite State Machines: Logic Optimization

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Sequential Logic Synthesis: 162 (The Springer International Series in Engineering and Computer Science, 162)

Springer Logic Synthesis for FSM-Based Control Units - Book 53

Logic Synthesis for Finite State Machines Based on Linear Chains of States: Foundations, Recent Developments and Challenges: 113 (Studies in Systems, Decision and Control, 113)

The Unknown Component Problem: Theory and Applications

Technology Mapping for LUT-Based FPGA: 713 (Lecture Notes in Electrical Engineering, 713)

Design of Reconfigurable Logic Controllers: 45 (Studies in Systems, Decision and Control)

Computation Engineering: Applied Automata Theory and Logic

Springer - Advanced Techniques in Logic Synthesis Book

Digital System Design using FSMs: A Practical Learning Approach

The Verilog Hardware Description Language

Design Automation for Field-coupled Nanotechnologies

Advanced ASIC Chip Synthesis: Using Synopsys® Design Compiler™ Physical Compiler™ and PrimeTime®

Petri Net Synthesis (Texts in Theoretical Computer Science. An EATCS Series)

Design Systems for VLSI Circuits: Logic Synthesis and Silicon Compilation: 136 (NATO Science Series E:, 136)

Function/Architecture Optimization and Co-Design of Embedded Systems: 585 (The Springer International Series in Engineering and Computer Science, 585)

Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation

Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation

Computer-Aided Design Techniques for Low Power Sequential Logic Circuits: 387 (The Springer International Series in Engineering and Computer Science, 387)

Language Computability and Formal Language Theory

Microprogrammed State Machine Design

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

/uploads/images/products/2/B0D9H66CH7/de02f99d-bad7-4d89-b10c-cc7c8f380e2a.webp

Scalable Hardware Verification with Symbolic Simulation

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach