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.54 GBP
Availability: InStock

Architecture & Microprocessors

About as cheap as it gets. The only time it was cheaper was 1 year ago.

£84 today · all-time low £80 (Jul 2024) · usually the usual

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

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

Historical

Generating forecast...

Price Distribution

Price distribution over 637 days • 6 price levels

Days at Price

Current Price

Price Analysis

Most common price: £86 (295 days, 46.3%)

Price range: £80 - £86

Price levels: 6 different prices over 637 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

About as cheap as it gets. The only time it was cheaper was 1 year ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Digital System Design using FSMs: A Practical Learning Approach

Digital Electronics 3: Finite-state Machines (Electronics Engineering)

Finite State Machine Logic Synthesis for Complex Programmable Logic Devices: 231 (Lecture Notes in Electrical Engineering, 231)

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

Switching and Finite Automata Theory

Digital Logic Techniques: Principles and practice Third edition (Tutorial Guides in Electronic Engineering)

Digital Logic Techniques: Principles and practice Third edition (Tutorial Guides in Electronic Engineering)

Springer Logic Synthesis for FSM-Based Control Units (Vol 53)

From Boolean Logic to Switching Circuits and Automata: Towards Modern Information Technology: 335 (Studies in Computational Intelligence, 335)

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

Logic Synthesis for Compositional Microprogram Control Units: 22 (Lecture Notes in Electrical Engineering, 22)

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

Digital Design Essentials and Xilinx 4.2i Package: United States Edition

Fundamentals of Digital Logic and Microcomputer Design

Microprogrammed State Machine Design

Switching Theory for Logic Synthesis

Digital VLSI Design and Simulation with Verilog

Logic Design and Verification Using SystemVerilog (Revised)

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

Design of Digital Systems and Devices: 79 (Lecture Notes in Electrical Engineering, 79)

Problems and Exercises in Discrete Mathematics: 14 (Texts in the Mathematical Sciences, 14)

Finite Automata, Formal Logic, and Circuit Complexity (Progress in Theoretical Computer Science)

Mathematical Foundations of Computer Science