Description: Ex-library with one spine sticker, no cover stickers, and faint pencil library writing on title page. Almost new condition except front flyleaf torn out as part of library discard process. No dust jacket. Pages are clean and fresh. North-Holland Elsevier Publishers. About the bookVLSI 87 is the fourth in a series of bi-annual international conferences on Very Large Scale Integration. The biggest change has occurred in the area of computer-aided design tools. The central role of CAD is reflected in the theme for this year's conference: ``Matching Technology and Architecture with the Help of Computer Aided Design'', as well as by the submitted papers. A key concern was to maintain representation throughout the range of disciplines related to the field of VLSI (fabrication technology, circuit design, system architecture, and CAD tools), and also to ensure that the conference remains relevant to both the industrial and academic community. A group of experienced people with special knowledge in different technologies that might be crucial for the future of VLSI were brought together to ensure that the session on technology should be of relevance to CAD tool builders and system architects. OCR scan:1987IFIP TC 10/WG 10.5 International Conference on Very Large Scale IntegrationVancouver, Canada, 10-12 August 1987VLSI 87 VLSI Design of Digital SystemsProceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale IntegrationVancouver, Canada, 10-12 August 1987 edited byCarlo H. SÉQUIN University of CaliforniaBerkeley, CAU.S.A.PREFACE VLSI - The Last 10 Years - The Next 10 Years VLSI'87 is the fourth in a series of bi-annual international conferences on VeryLarge Scale Integration. All but the first one have been organized by the workinggroup WG 10.5 (VLSI), of the IFIP Technical Committee TC 10. Good VLSI systemsresult from an intergration of expertise in fabrication technology, circuit design,system architecture, and CAD tools. Thus a key concern of this working group andof the conference organizers is to maintain representation throughout the range ofdisciplines related to the field of VLSI. We would also like to ensure that this con-ference remains relevant to both the industrial and academic community. It is about ten years ago that Lynn Conway and Carver Mead started a "movement"that rapidly spread through the academic community and eventually also changedthe way of industrial VLSI design. Their computer-science point of view and theirvertically-integrated approach to systems design have shaped the nature of most ofthe periodic VLSI conferences. It opened the emerging field of VLSI to a wholenew community of disciples with varied backgrounds. Because of the impact of theideas that started to emerge from Xerox PARC in 1977, I set the birth date of VLSIin that period. This would make VLSI ten years old today! At such round birth-days it is customary to take stock and look at some of the important developments. In 1977 the pattern of exponential improvements in technology was already estab-lished. Exceeding a million transistors on a single silicon chip was just a matter oftime, and the possibility of integrating one billion devices had at least been men-tioned, even though most people probably were skeptical. Circuit design remains an ongoing strong activity. This is crucial for the full exploi-tation of the technological advances. A lot of activity is concentrated on makingever more dense and effective memory cells or more powerful driver circuits usingcombinations of CMOS and bipolar technologies. The success of this year's VLSICircuit Symposium in Karuizawa, Japan attests to this fact.CONTENTS Preface Organization Session 1: KEYNOTE SPEAKERS Development of Three Dimensional Integration Technologies in JapanS. Furukawa European Approaches to Application-Specific Integrated CircuitsJ. Borel System Demands vs. OpportunitiesW.R. Heller Session 2: HIGH-LEVEL SYNTHESIS SYSTEMS The Role of HDLS in the Digital Design ProcessT.L. Thorp (invited speaker) and N.E. Peeling An RTL Logic Design Aid for Parallel Control VLSI ProcessorsY. Nakamura and K. Oguri Structural Synthesis in the Yorktown Silicon CompilerR. Camposano A Knowledge-Based CAD System for Synthesis of MultiprocessorDigital Signal Processing ChipsJ. VanHoof, J. Rabaey and H. DeManxiv Contents Session 3: SPECIFICATION AND VERIFICATION Algorithms and SpecificationsG. Birtwistle (invited speaker) Temporal Logic Based, Fast Verification System Using Cover ExpressionsH. Nakamura, S. Kono, H. Tanaka and M. Fujita The Description and Verification of Input Constraints and Input-OutputSpecifications of Logic Systems Using a New Extended RegularExpressionS. Kimura and S. Yajima Efficient, Stable Algebraic Operations on Logic ExpressionsP. McGeer and R. Brayton Session 4: PLACEMENT AND ROUTING Top-Down Hierarchical Global Routing by Channelless Gate ArraysBased on Linear AssignmentU. Lauther A Gridless Router: Software and Hardware ImplementationsK. Suzuki, T. Ohtsuki and M. Sato Mosaico: An Integrated Macro-Cell Layout SystemJ. Burns, A. Casotto, M. Igusa, F. Marron, F. Romeo,A. Sangiovanni-Vincentelli, C. Sechen, H. Shin, G. Srinath andH. Yaghutiel Session 5: PLACEMENT REFINEMENT Use of Triangulation for Global PlacementF. Johannes Global Spacing of Building-Block LayoutW .- M. Dai and E.S. Kuh Session 6: HIGH-PERFORMANCE TECHNOLOGIES High-Performance Bipolar VLSI - The Only WayG. Wilson (invited speaker) Contents Prospects for High Speed Bipolar LSI Technology - Digital ApplicationsS. Horiguchi (invited speaker), M. Ino and M. Suzuki GaAs Digital IC's for Computer ApplicationsM. Rocchi (invited speaker) CMOS Technology for High Speed VLSIT. lizuka (invited speaker) Low Temperature MOS MicroelectronicsF. Gaensslen (invited speaker) and R. Jaeger Session 7: MACHINE ARCHITECTURES Inference Machines in FGCS ProjectS. Uchida (invited speaker) PEGASUS: A RISC Processor for High-Performance Executionof Prolog ProgramsK. Seo and T. Yokota Architecture of a 32 Bit Fast Reduced Instruction Set Computer (FRISC)for Implementation with Advanced Bipolar Differential Logic andWafer Scale Hybrid Packaging TechnologyH. Greub, J. McDonald and T. Creedon Session 8: HIGH-SPEED SYSTEMS A European Program on Wafer Scale IntegrationJ. Trilhe Self-Timed IterationM. Greenstreet, T. Williams and J. Straunstrup Functional Simulation for the CRISP MicroprocessorA. Berenbaum and R. Heaton Session 9: TIMING VERIFICATION AND ELECTRICAL SIMULATION Simulating MOS VLSI Circuits Using SuperCrystalR. Bauer, A. Ng, A. Raghunathan, M. Saake and C. ThompsonA Closed-Form Expression for Signal Delay in CMOS-Driven BranchedTransmission LinesE. Horneber and W. Mathis Vectorization of the LU-Decomposition for Circuit SimulationL. Steger Session 10: LAYOUT SYNTHESIS Systematic Design of MOS CellsG. Saucier and G. Thuau A New Bucketing Technique for Automatic/Interactive Layout DesignM. Edahiro Synthesizing Transducers from Interface Specifications (or How to getChips into Systems)G. Borriello and R. Katz Author Index
Price: 28 USD
Location: Auburn, Washington
End Time: 2024-11-25T02:00:01.000Z
Shipping Cost: 6.13 USD
Product Images
Item Specifics
All returns accepted: ReturnsNotAccepted
Publication Year: 1988
Format: Hardcover
Language: English
Book Title: VLSI '87 VLSI Design of Digital Systems
Author: Carlo H. Sequin
Publisher: Elsevier Science Publishers B. V.
Genre: Business, Economics & Industry, Computer & IT, Engineering & Technology, Historical, History, Mathematics & Sciences, Technology & Engineering
Topic: Electronics / Circuits / Vlsi & Ulsi
Number of Pages: 419
