| 书目名称 | Synchronous Equivalence | | 副标题 | Formal Methods for E | | 编辑 | Harry Hsieh,Felice Balarin,Alberto Sangiovanni-Vin | | 视频video | | | 图书封面 |  | | 描述 | An embedded system is loosely defined as any system thatutilizes electronics but is not perceived or used as a general-purposecomputer. Traditionally, one or more electronic circuits ormicroprocessors are literally embedded in the system, either taking uproles that used to be performed by mechanical devices, or providingfunctionality that is not otherwise possible. .The goal of this book is to investigate how formal methods can beapplied to the domain of embedded system design. The emphasis is onthe specification, representation, validation, and design explorationof such systems from a high-level perspective. The authors review theframework upon which the theories and experiments are based, andthrough which the formal methods are linked to synthesis andsimulation. .A formal verification methodology is formulated to verify generalproperties of the designs and demonstrate that this methodology isefficient in dealing with the problem of complexity and effective infinding bugs. However, manual intervention in the form of abstractionselection and separation of timing and functionality is required. Itis conjectured that, for specific properties, efficient algorithmsexist for completely a | | 出版日期 | Book 2001 | | 关键词 | VLSI; algorithms; architecture; communication; computer-aided design (CAD); electronics; embedded systems; | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4615-1659-0 | | isbn_softcover | 978-1-4613-5664-6 | | isbn_ebook | 978-1-4615-1659-0 | | copyright | Springer Science+Business Media New York 2001 |
The information of publication is updating
|
|
发表于 2025-3-21 19:23:11
