{"product_id":"9780792395522","title":"The Springer International Series in Engineering and Computer Science","description":"\u003ch1\u003eThe Springer International Series in Engineering and Computer Science\u003c\/h1\u003e \u003ch2\u003eDelgado Kloos, Carlos; Breuer, P.\u003c\/h2\u003e \u003cp\u003eIt is recognized that formal design and verification methods  are an important requirement for the attainment of high quality system  designs. The field has evolved enormously during the last few years,  resulting in the fact that formal design and verification methods are  nowadays supported by several tools, both commercial and academic.  \u003cbr\u003e If different tools and users are to generate and read the same  language then it is necessary that the same semantics is assigned by  them to all constructs and elements of the language. The current IEEE  standard VHDL language reference manual (LRM) tries to define VHDL as  well as possible in a descriptive way, explaining the semantics in  English. But rigor and clarity are very hard to maintain in a  semantics defined in this way, and that has already given rise to many  misconceptions and contradictory interpretations. \u003cbr\u003e \u003cem\u003eFormal  Semantics for VHDL\u003c\/em\u003e is the first book that puts forward a cohesive  set of semantics for the VHDL language. The chapters describe several  semantics each based on a different underlying formalism: two of them  use Petri nets as target language, and two of them higher order logic.  Two use functional concepts, and finally another uses the concept of  evolving algebras. \u003cbr\u003e \u003cem\u003eFormal Semantics for VHDL\u003c\/em\u003e is essential  reading for researchers in formal methods and can be used as a text  for an advanced course on the subject. \u003cbr\u003e\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1995-02-28\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9780792395522\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-1-4615-2237-9\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 249\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":45578423926924,"sku":"9780792395522","price":98.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9780792395522.jpg?v=1771511149","url":"https:\/\/lateknightbooks.com\/products\/9780792395522","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}