{"product_id":"theoretical-foundations-of-vlsi-design-paperback-9780521545655","title":"Theoretical Foundations of VLSI Design (Paperback) 9780521545655","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eTheoretical Foundations of VLSI Design\u003c\/font\u003e\u003cbr\u003e\r\n\r\n\r\n\u003c\/p\u003e\n\u003cp\u003e\u003cem\u003eRecent research on the physical technologies of very large scale integration (VLSI).\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003eK. McEvoy (Edited by), J. V. Tucker (Edited by)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9780521545655, Cambridge University Press\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePaperback, published 4 December 2003\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e452 pages\u003cbr\u003e24.6 x 18.9 x 1.7 cm, 0.803 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003eThis book discusses recent research in the theoretical foundations of several subjects of importance for the design of hardware, and for computer science in general. The physical technologies of very large scale integration (VLSI) are having major effects on the electronic industry. The potential diversity and complexity of digital systems have begun a revolution in the technologies of digital design, involving the application of concepts and methods to do with algorithms and programming. In return, the problems of VLSI design have led to new subjects becoming of importance in computer science. Topics covered in this volume include: models of VLSI complexity; complexity theory; systolic algorithm design; specification theory; verification theory; design by stepwise refinement and transformations. A thorough literature survey with an exhaustive bibliography is also included. The book has grown from a workshop held at the Centre for Theoretical Computer Science at Leeds University and organised by the editors.\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eIntroduction\u003cbr\u003e Part I. Formal Methods and Verification: 1. A mechanised proof of correctness of a simple counter\u003cbr\u003e 2. A formal model for the hierarchical design of synchronous and systolic algorithms\u003cbr\u003e 3. Correctness proofs for systolic algorithms\u003cbr\u003e 4. A palindrome recogniser\u003cbr\u003e Part II. Theory and Methodology of Design: 5. Formal specification of a digital correlator\u003cbr\u003e 6. Describing and reasoning about circuits using relations\u003cbr\u003e Part III. Models of Circuits and Complexity Theory: 7. Superpolynomial bounds on monotone network complexity\u003cbr\u003e 8. The prioritiser experiment\u003cbr\u003e 9. Estimation and measurement of computation time in VLSI.\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Computer architecture \u0026amp; logic design [\u003ca title=\"See our other books on Computer architecture \u0026amp; logic design\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Computer%20architecture%20\u0026amp;%20logic%20design%20%5BUYF%5D%22\"\u003eUYF\u003c\/a\u003e]\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003c\/font\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":46019806429464,"sku":"9780521545655","price":40.29,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/products\/9780521366311_816aa314-1f73-49ce-b631-7c891da22779.jpg?v=1691369451","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/theoretical-foundations-of-vlsi-design-paperback-9780521545655","provider":"Freshly Printed Books","version":"1.0","type":"link"}