Formal Semantics for VHDL
| Author | : Carlos Delgado Kloos |
| Publisher | : Springer |
| Total Pages | : 272 |
| Release | : 1995-02-28 |
| ISBN-10 | : STANFORD:36105009814752 |
| ISBN-13 | : |
| Rating | : 4/5 ( Downloads) |
Book Synopsis Formal Semantics for VHDL by : Carlos Delgado Kloos
Download or read book Formal Semantics for VHDL written by Carlos Delgado Kloos and published by Springer. This book was released on 1995-02-28 with total page 272 pages. Available in PDF, EPUB and Kindle. Book excerpt: Research papers from a January 1994 workshop put forth a cohesive set of semantics for the VHDL language and describe semantics based on Petri nets as target language, higher order logic, functional concepts, and evolving algebras. Quotes from Lewis Caroll's Alice Through the Looking Glass introduce each paper. For researchers in formal methods, and advanced students. No index. Annotation copyright by Book News, Inc., Portland, OR
Top