{"product_id":"9780792385608","title":"Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods","description":"\u003cp\u003eA new generation of power-conscious CAD tools are coming onto the market to help designers estimate, optimize and verify power consumption levels at most stages of the IC design process.\u003c\/p\u003e","brand":"Kluwer Academic Pub","offers":[{"title":"Default Title","offer_id":48676551983339,"sku":"00000_00000_00000_00000","price":201.41,"currency_code":"SGD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0758\/4484\/5803\/files\/9780792385608-1.jpg?v=1781638028","url":"https:\/\/kinokuniya.com.sg\/ja\/products\/9780792385608","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}