| 书目名称 | Design of Embedded Control Systems | | 编辑 | Marian Andrzej Adamski,Andrei Karatkevich,Marek We | | 视频video | | | 概述 | Offers state-of-the-art results in the design of embedded control systems.Each chapter focuses on a particular design/specification issue of programmable logic controllers discussed by an expert on th | | 图书封面 |  | | 描述 | A set of original results in the ?eld of high-level design of logical control devices and systems is presented in this book. These concern different aspects of such important and long-term design problems, including the following, which seem to be the main ones. First, the behavior of a device under design must be described properly, and some adequate formal language should be chosen for that. Second, effective algorithmsshouldbeusedforcheckingtheprepareddescriptionforcorrectness, foritssyntacticandsemanticveri?cationattheinitialbehaviorlevel.Third,the problem of logic circuit implementation must be solved using some concrete technological base; ef?cient methods of logic synthesis, test, and veri?cation should be developed for that. Fourth, the task of the communication between the control device and controlled objects (and maybe between different control devices)waitsforitssolution.Alltheseproblemsarehardenoughandcannotbe successfully solved without ef?cient methods and algorithms oriented toward computer implementation. Some of these are described in this book. The languages used for behavior description have been descended usually from two well-known abstract models which became | | 出版日期 | Book 2005 | | 关键词 | IC; Programmable Logic; VHDL; architecture; communication; computer-aided design (CAD); integrated circuit | | 版次 | 1 | | doi | https://doi.org/10.1007/0-387-28327-7 | | isbn_softcover | 978-1-4419-3646-2 | | isbn_ebook | 978-0-387-28327-2 | | copyright | Springer-Verlag US 2005 |
The information of publication is updating
|
|
发表于 2025-3-21 19:52:22
