{"product_id":"9781475770360","title":"Logic Synthesis and Verification Algorithms","description":"\u003ch1\u003eLogic Synthesis and Verification Algorithms\u003c\/h1\u003e \u003ch2\u003eHachtel, Gary D.; Somenzi, Fabio\u003c\/h2\u003e \u003cp\u003e\u003cem\u003eLogic Synthesis and Verification Algorithms\u003c\/em\u003e is a textbook  designed for courses on VLSI Logic Synthesis and Verification, Design  Automation, CAD and advanced level discrete mathematics. It also  serves as a basic reference work in design automation for both  professionals and students. \u003cbr\u003e  \u003cem\u003eLogic Synthesis and Verification Algorithms\u003c\/em\u003e is about the  theoretical underpinnings of VLSI (Very Large Scale Integrated  Circuits). It combines and integrates modern developments in logic  synthesis and formal verification with the more traditional matter of  Switching and Finite Automata Theory. The book also provides  background material on Boolean algebra and discrete mathematics. \u003cbr\u003e  A unique feature of this text is the large collection of solved  problems. \u003cbr\u003e  Throughout the text the algorithms covered are the subject of one or  more problems based on the use of available synthesis programs.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2013-03-18\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9781475770360\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/b117060\u003c\/p\u003e \u003cp\u003eDimensions: 254cm x178cm\u003c\/p\u003e \u003cp\u003ePages: 564\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":47406443462796,"sku":"9781475770360","price":89.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9781475770360.jpg?v=1775826510","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9781475770360","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}