Sinossi
Recent research on the physical technologies of very large scale integration (VLSI).
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Descrizione del libro
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.
Contenuti
Introduction; Part I. Formal Methods and Verification: 1. A mechanised proof of correctness of a simple counter; 2. A formal model for the hierarchical design of synchronous and systolic algorithms; 3. Correctness proofs for systolic algorithms; 4. A palindrome recogniser; Part II. Theory and Methodology of Design: 5. Formal specification of a digital correlator; 6. Describing and reasoning about circuits using relations; Part III. Models of Circuits and Complexity Theory: 7. Superpolynomial bounds on monotone network complexity; 8. The prioritiser experiment; 9. Estimation and measurement of computation time in VLSI.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Theoretical Foundations of VLSI Design
Foto dell'editore
Theoretical Foundations of VLSI Design (Cambridge Tracts in Theoretical Computer Science)
Editore:
Cambridge University Press, 2003
ISBN 10: 052154565X
ISBN 13: 9780521545655
Antico o usato
Brossura
Da: Labyrinth Books, Princeton, NJ, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. Codice articolo 089916
Compra usato
EUR 41,56
Spese di spedizione:
EUR 3,87
In U.S.A.
Quantità: 2 disponibili
Foto dell'editore
THEORETICAL FOUNDATIONS OF VLSI DESIGN
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEOCT25-99429
Compra nuovo
EUR 50,07
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Theoretical Foundations of VLSI Design
Editore:
Cambridge University Press, 2003
ISBN 10: 052154565X
ISBN 13: 9780521545655
Antico o usato
Softcover
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: Très bon. Ancien livre de bibliothèque. Salissures sur la tranche. Edition 2003. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Stains on the edge. Edition 2003. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-852-001
Compra usato
EUR 29,99
Spese di spedizione:
EUR 20,50
Da: Francia a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Theoretical Foundations of VLSI Design (Cambridge Tracts in Theoretical Computer Science, Series Number 10)
Da: ALLBOOKS1, Direk, SA, Australia
Valutazione del venditore 5 su 5 stelle
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Codice articolo SHAK99429
Compra nuovo
EUR 56,70
Spese di spedizione:
GRATIS
Da: Australia a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Theoretical Foundations of VLSI Design (Cambridge Tracts in Theoretical Computer Science, Series Number 10)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Feb2416190006639
Compra nuovo
EUR 58,06
Spese di spedizione:
EUR 3,43
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Theoretical Foundations of VLSI Design (Paperback)
Editore:
Cambridge University Press, Cambridge, 2003
ISBN 10: 052154565X
ISBN 13: 9780521545655
Nuovo
Paperback
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This 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. This 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9780521545655
Compra nuovo
EUR 71,38
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Theoretical Foundations of VLSI Design
Print on DemandDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 448 pages. 9.50x7.25x1.00 inches. In Stock. This item is printed on demand. Codice articolo __052154565X
Compra nuovo
EUR 64,63
Spese di spedizione:
EUR 14,33
Da: Regno Unito a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Theoretical Foundations of VLSI Design
Editore:
Cambridge University Press CUP, 2003
ISBN 10: 052154565X
ISBN 13: 9780521545655
Nuovo
Brossura
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 452. Codice articolo 26232257
Compra nuovo
EUR 80,47
Spese di spedizione:
EUR 3,43
In U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Theoretical Foundations of VLSI Design
Editore:
Cambridge University Press, 2003
ISBN 10: 052154565X
ISBN 13: 9780521545655
Nuovo
Paperback / softback
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 830. Codice articolo C9780521545655
Compra nuovo
EUR 67,00
Spese di spedizione:
EUR 21,84
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Theoretical Foundations of VLSI Design
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 452 50:B&W 7.44 x 9.69 in or 246 x 189 mm (Crown 4vo) Perfect Bound on White w/Gloss Lam. Codice articolo 7615646
Compra nuovo
EUR 83,00
Spese di spedizione:
EUR 7,45
Da: Regno Unito a: U.S.A.
Quantità: 4 disponibili