Synthesis of finite state machines

Synthesis of finite state machines

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

Join Readfeed freeFind clubs reading this
Rate this book:

Browse books you can read free on Readfeed

No club is reading this yet — be the first to start one

Start a club free
About
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 the binate covering problem. The third part addresses the computation of permissible behaviors at a node of a network of FSMs and the related minimization problems of non-deterministic finite state machines (NDFSMs). Key themes running through the book are the exploration of behaviors contained in a non-deterministic FSM (NDFSM), and the representation of combinatorial problems arising in FSM synthesis by means of Binary Decision Diagrams (BDDs). Synthesis of Finite State Machines: Functional Optimization will be of interest to researchers and designers in logic synthesis, CAD and design automation.

Discuss Synthesis of finite state machines with other readers

Join or start a book club for Synthesis of finite state machines on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Sign up freeBrowse book clubs

Frequently asked questions

How do I join a book club for Synthesis of finite state machines?

Sign up free on Readfeed, then browse public clubs or start your own club with Synthesis of finite state machines as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss Synthesis of finite state machines with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Synthesis of finite state machines with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.