| 书目名称 | Formal Semantics and Proof Techniques for Optimizing VHDL Models |
| 编辑 | Kothanda Umamageswaran,Sheetanshu L. Pandey,Philip |
| 视频video | |
| 图书封面 |  |
| 描述 | .Formal Semantics and Proof Techniques for Optimizing VHDLModels. presents a formal model of VHDL that clearly specifies boththe static and dynamic semantics of VHDL. It provides a mathematicalframework for representing VHDL constructs and shows how thoseconstructs can be formally manipulated to reason about VHDL. Thedynamic semantics is presented as a description of what the simulationof VHDL means. In particular it specifies what values the signals of aVHDL description will take if the description were to be executed. Anadvantage of the approach is that the semantic model can be used tovalidate different simulation algorithms. The book also presents anembedding of the dynamic semantics in a proof checker which is thenused to prove equivalences of classes of VHDL descriptions. ..Formal Semantics and Proof Techniques for Optimizing VHDL Models.is written for hardware designers who are interested in the formalsemantics of VHDL. |
| 出版日期 | Book 1999 |
| 关键词 | Hardware; Hardwarebeschreibungssprache; Mathematica; Signal; VHDL; algorithms; logic; model; semantics; simul |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-1-4615-5123-2 |
| isbn_softcover | 978-1-4613-7331-5 |
| isbn_ebook | 978-1-4615-5123-2 |
| copyright | Springer Science+Business Media New York 1999 |
发表于 2025-3-21 19:53:09
