{"product_id":"9780792376064","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\u003eHassoun, Soha; Sasao, Tsutomu\u003c\/h2\u003e \u003cp\u003eResearch and development of logic synthesis and verification  have matured considerably over the past two decades. Many commercial  products are available, and they have been critical in harnessing  advances in fabrication technology to produce today's plethora of  electronic components. While this maturity is assuring, the advances  in fabrication continue to seemingly present unwieldy challenges.  \u003cbr\u003e  \u003cem\u003eLogic Synthesis and Verification\u003c\/em\u003e provides a state-of-the-art  view of logic synthesis and verification. It consists of fifteen  chapters, each focusing on a distinct aspect. Each chapter presents  key developments, outlines future challenges, and lists essential  references. \u003cbr\u003e  Two unique features of this book are technical strength and  comprehensiveness. The book chapters are written by twenty-eight  recognized leaders in the field and reviewed by equally qualified  experts. The topics collectively span the field. \u003cbr\u003e  \u003cem\u003eLogic Synthesis and Verification\u003c\/em\u003e fills a current gap in the  existing CAD literature. Each chapter contains essential information  to study a topic at a great depth, and to understand further  developments in the field. The book is intended for seniors, graduate  students, researchers, and developers of related Computer-Aided Design  (CAD) tools. \u003cbr\u003e  \u003cstrong\u003eFrom the foreword:\u003c\/strong\u003e \"The commercial success of logic synthesis  and verification is due in large part to the ideas of many of the  authors of this book. Their innovative work contributed to design  automation tools that permanently changed the course of electronic  design.\" by \u003cem\u003eAart J. de Geus, Chairman and CEO, Synopsys, Inc.\u003c\/em\u003e\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2001-11-30\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9780792376064\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-1-4615-0817-5\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 454\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":45578381852812,"sku":"9780792376064","price":161.1,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9780792376064.jpg?v=1775009458","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9780792376064","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}