Search results

This book provides insight into the practical design of VLSI circuits. It is aimed at novice VLSI designers and other enthusiasts who would like to understand VLSI design flows. Coverage includes key concepts in CMOS digital design, design of DSP and communication blocks on FPGAs, ASIC front end and physical design, and analog and mixed signal design. The approach is designed to focus on practical implementation of key elements of the VLSI design process, in order to make the topic accessible...

The usual usual "implementation" "implementation" ofreal numbers as floating point numbers on exist- iing ng computers computers has the well-known disadvantage that most of the real numbers are not exactly representable in floating point. Also the four basic arithmetic operations can usually not be performed exactly. For numerical algorithms there are frequently error bounds for the computed approximation available. Traditionally a bound for the infinity norm is estima- ted using ttheoretical h...

Hochkomplexe elektronische Schaltungen werden in immer mehr Bereichen der Technik eingesetzt, in denen es auf eine hohe Zuverl{ssigkeit ankommt, wie z.B. der Medizin und der Verkehrstechnik. Eine effiziente ]berpr}fung dieser Schaltungen, m|glichst in Form eines "Selbsttests", ist deshalb von entscheidender Bedeutung. Das Buch beschreibt zun{chst Verfahren f}r den automatisierten Entwurf und den Test hochintegrierter Schaltungen und f}hrt dann beide Themengebiete zu einer einheitlichen Entwurf...

This book presents a new FPGA architecture known as tree-based FPGA architecture, due to its hierarchical nature. This type of architecture has been relatively unexplored despite their better performance and predictable routing behavior, as compared to mesh-based FPGA architectures. In this book, we explore and optimize the tree-based architecture and we evaluate it by comparing it to equivalent mesh-based FPGA architectures.

This book constitutes the proceedings of the Third International Conference on Parallel Computing Technologies, PaCT '95, held in St. Petersburg, Russia in September 1995. The volume presents 45 revised full papers selected from a total of 98 submissions, including six invited presentations. The proceedings is organized in parts on theory, software, hardware and architecture, and applications to large-scale problems. Parallel processing technologies are shown to be the touchstone of parallel the...

This book addresses two main problems with interconnections at the chip and package level: crosstalk and simultaneous switching noise. Its orientation is towards giving general information rather than a compilation of practical cases. Each chapter contains a list of references for the topics.

FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee 6 (TC6) of the International Fed- ation for InformationProcessing (IFIP).The conferenceseries started in 1981underthe name PSTV (ProtocolSpeci?cation, Testing, and Veri?cation).In 1988,a second series under the name FORTE was started. Both series merged to FORTE/PSTV in 1996. The conference name was changed to FORTE in 2001. During its 24-year history, many important contr...

This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akademgorodok, Novosibirsk, Russia, in June 1996. The 27 revised full papers presented together with 9 invited contributions were thoroughly refereed for inclusion in this volume. The book is divided in topical sections on programming methodology, artificial intelligence, natural language processing, machine learning, dataflow and concurrency...

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was est- lished in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite wo- shops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to...

This volume contains the papers presented at the Eighth International S- posium on Practical Aspects of Declarative Languages (PADL 2006) held on January 9-10, 2006, in Charleston, South Carolina. Information about the c- ference can be found athttp://www.cs.brown.edu/people/pvh/PADL06.html. As is now traditional, PADL 2006 was co-located with the 33rd Annual Sym- sium on Principles of Programming Languages that was held on January 11-13, 2006. The PADL conference series is a forum for researche...

The market for PC laptops, notebooks and palm-sized computers has grown rapidly. Aimed at the business user, this handbook gives advice on choosing, setting up, using, troubleshooting and optimizing portable computers built around the 386SL microprocessor. It gives an overview of hardware requirements and a survey of operating systems, publishing, spreadsheet, wordprocessing, database, communications and other software packages for use on portables.