VLSI Engineering

Beyond Software Engineering
Herausgegeben:Kunii, Tosiyasu

• Broschiertes Buch

Produktbeschreibung

Future directions for VLSI and software engineering.- An object-oriented, capability-based architecture.- Super freedom simulator PAX.- Prolog interpreter and its parallel extension.- Putting inner loops automatically in silicon.- Hardware algorithms for VLSI systems.- Graph-based design specification of parallel computation.- Experience with specification and verification of hardware using PROLOG.- VLSI verification and correction.- Automated logic synthesis.- A network for parallel searching.- A hardware file system for database storage.- Top-down VLSI design experiments on a picture database computer.- Advances in digital image processing for document reproduction.

Produktdetails

• Lecture Notes in Computer Science 163
• Verlag: Springer / Springer Japan / Springer, Berlin
• Artikelnr. des Verlages: 978-4-431-70002-9
• 1984
• Seitenzahl: 320
• Erscheinungstermin: 1. Mai 1984
• Englisch
• Abmessung: 235mm x 155mm x 18mm
• Gewicht: 454g
• ISBN-13: 9784431700029
• ISBN-10: 4431700021
• Artikelnr.: 23115035

Inhaltsangabe

Future directions for VLSI and software engineering.- An object-oriented, capability-based architecture.- Super freedom simulator PAX.- Prolog interpreter and its parallel extension.- Putting inner loops automatically in silicon.- Hardware algorithms for VLSI systems.- Graph-based design specification of parallel computation.- Experience with specification and verification of hardware using PROLOG.- VLSI verification and correction.- Automated logic synthesis.- A network for parallel searching.- A hardware file system for database storage.- Top-down VLSI design experiments on a picture database computer.- Advances in digital image processing for document reproduction.