| 书目名称 | Synthesis of Finite State Machines | | 副标题 | Functional Optimizat | | 编辑 | Timothy Kam,Tiziano Villa,Alberto Sangiovanni-Vinc | | 视频video | http://file.papertrans.cn/885/884290/884290.mp4 | | 图书封面 |  | | 描述 | .Synthesis of Finite State Machines: FunctionalOptimization. is one of two monographs devoted to the synthesis ofFinite State Machines (FSMs). This volume addresses functionaloptimization, whereas the second addresses logic optimization. Byfunctional optimization here we mean the body of techniques that:. .compute all permissible sequential functions fora 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 thechosen sequential function. By logic optimization here we mean thesteps that convert a symbolic description of an FSM into a hardwareimplementation, with the goal to optimize objectives like area,testability, performance and so on. ..Synthesis of Finite State Machines: Functional Optimization. isdivided into three parts. The first part presents some preliminarydefinitions, theories and techniques related to the exploration ofbehaviors of FSMs. The second part presents an implicit algorithm forexact state minimization of incompletely specified finite statemachines (ISFSMs), and an exhaustive presentation of explicit andimplicit algorithms for the binate cover | | 出版日期 | Book 1997 | | 关键词 | Hardware; algorithms; automation; computer-aided design (CAD); design automation; interconnect; logic; netw | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4757-2622-0 | | isbn_softcover | 978-1-4419-5170-0 | | isbn_ebook | 978-1-4757-2622-0 | | copyright | Springer Science+Business Media New York 1997 |
The information of publication is updating
|
|
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-8-8 17:14
发表于 2025-3-21 16:23:06
