Opening book details…
Can I read Synthesis of Finite State Machines : Functional Optimization on EtoBox?
Synthesis of Finite State Machines : Functional Optimization by Timothy Kam, Tiziano Villa, Robert Brayton, Alberto Sangiovanni-Vincentelli (auth.) is a nonfiction available to read on EtoBox.
What is Synthesis of Finite State Machines : Functional Optimization about?
__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
Who reads Synthesis of Finite State Machines : Functional Optimization?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Timothy Kam, Tiziano Villa, Robert Brayton, Alberto Sangiovanni-Vincentelli (auth.)
- Publisher
- Springer US
- Published
- 1997
- Language
- EN
- ISBN
- 9781441951700
- Category
- nonfiction
- Subjects
- Engineering, Computer Science, Stem
More by Timothy Kam, Tiziano Villa, Robert Brayton, Alberto Sangiovanni-Vincentelli (auth.)
Similar books
- Logic Synthesis for FPGA-Based Mealy Finite State Machines: Structural Decomposition in Logic Design — Barkalov, Alexander & Titarenko, Larysa & Krzywicki, Kazimierz (2024)
- Sequential Optimization of Asynchronous and Synchronous Finite-State Machines : Algorithms and Tools — Robert M. Fuhrer, Steven M. Nowick (auth.) (2001)
- Logic Synthesis for VLSI-Based Combined Finite State Machines : Synthesis Targeting ASICs, CPLDs and FPGAs — Alexander Barkalov; Larysa Titarenko; Kamil Mielcarek; Małgorzata Mazurkiewicz; Elżbieta Kawecka (2022)
- Finite State Machine Datapath Design, Optimization, and Implementation (Synthesis Lectures on Digital Circuits & Systems) — Robert Reese Justin Davis (2007)
- Logic Synthesis for Finite State Machines Based on Linear Chains of States: Foundations, Recent Developments and Challenges (Studies in Systems, Decision and Control Book 113) — Alexander Barkalov, Larysa Titarenko, Jacek Bieganowski (auth.) (2018)
- Logic Synthesis for FPGA-Based Finite State Machines (Studies in Systems, Decision and Control (38)) — Alexander Barkalov, Larysa Titarenko, Malgorzata Kolopienczyk, Kamil Mielcarek, Grzegorz Bazydlo (auth.) (2016)
