| 书目名称 | Hardware Design and Petri Nets | | 编辑 | Alex Yakovlev,Luis Gomes,Luciano Lavagno | | 视频video | | | 图书封面 |  | | 描述 | .Hardware Design and Petri Nets. presents a summary of thestate of the art in the applications of Petri nets to designingdigital systems and circuits. .The area of hardware design has traditionally been a fertile field forresearch in concurrency and Petri nets. Many new ideas about modellingand analysis of concurrent systems, and Petri nets in particular,originated in theory of asynchronous digital circuits. Similarly, thetheory and practice of digital circuit design have always recognizedPetri nets as a powerful and easy-to-understand modelling tool. .The ever-growing demand in the electronic industry for designautomation to build various types of computer-based systems createsmany opportunities for Petri nets to establish their role of a formalbackbone in future tools for constructing systems that areincreasingly becoming distributed, concurrent and asynchronous. Petrinets have already proved very effective in supporting algorithms forsolving key problems in synthesis of hardware control circuits.However, since the front end to any realistic design flow in thefuture is likely to rely on more pragmatic Hardware DescriptionLanguages (HDLs), such as VHDL and Verilog, it is crucial t | | 出版日期 | Book 2000 | | 关键词 | VHDL; algorithms; architecture; automation; circuit design; communication; model; modeling; system; tools | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4757-3143-9 | | isbn_softcover | 978-1-4419-4969-1 | | isbn_ebook | 978-1-4757-3143-9 | | copyright | Springer Science+Business Media Dordrecht 2000 |
The information of publication is updating
|
|
发表于 2025-3-21 17:08:18
