{"product_id":"9783540567783","title":"Lecture Notes in Computer Science: IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings\u003c\/h1\u003e \u003ch2\u003eMilne, George J.; Pierre, Laurence\u003c\/h2\u003e \u003cp\u003eThese proceedings contain the papers presented at the\nAdvanced Research     Working Conference on Correct Hardware\nDesign Methodologies, held in Arles, France, in May 1993,\nand organized by the ESPRIT Working Group 6018 CHARME-2and\nthe Universit de Provence, Marseille, in cooperation with\nIFIP      Working Group 10.2.\nFormal verification is emerging as a plausible          alternative\nto exhaustive simulation for establishing correct               digital\nhardware designs. The validation of functional and                  timing\nbehavior is a major bottleneck in current VLSI design\nsystems,   slowing the arrival of products in the marketplace\nwith its associated      increase in cost. From being a\npredominantly academic area of study until a few years ago,\nformal design and verification techniques are now            beginning\nto migrate into industrial use. As we are now witnessing          an\nincrease in activity in this area in both academia and\nindustry, the aim of this working conference was to bring\ntogether researchers and users  from both communities.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1993-05-12\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540567783\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/BFb0021709\u003c\/p\u003e \u003cp\u003eDimensions: 233cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 275\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370080133260,"sku":"9783540567783","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540567783.jpg?v=1773970091","url":"https:\/\/lateknightbooks.com\/products\/9783540567783","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}