Product Description
This book presents a collection of revised refereed papers selected from the contributions to the Fifth International Workshop on Computer Aided Systems Theory, EUROCAST '95, held in Innsbruck, Austria in May 1995. The 42 full papers contained have been contributed by CAST theoreticians, tool-makers, designers, and appliers and reflect the full spectrum of activities in the area. The papers are organized in sections on systems theory, design environments, complex systems design, and specific applications. ... Read more

Product Description
This volume constitutes the proceedings of the Second Fuzzy Logic in AI Workshop, held in conjunction with IJCAI '93 in Chamb‚ry, France in August 1993. The book contains full revised versions of the papers presented at the workshop and covers several aspects of fuzzy logic in contributions from renowned researchers. This volume reflects the aim of the workshop, namely to serve as a platform for fruitful contacts between fuzzy engineering researchers interested in AI and AI researchers interested in fuzzy logic applications in engineering: when it comes to designing intelligent systems they are confronted with the same problems and questions and hope for the same successful results. ... Read more

Product Description

This book constitutes the refereed proceedings of the 11th IMA International Conference on the Mathematics of Surfaces, held in Loughborough, UK in September 2005.

The 28 revised full papers presented were carefully reviewed and selected from numerous submissions. Among the topics addressed are Voronoi diagrams, linear systems, curvatures on meshes, approximate parameterization, condition numbers, pythagorean hodographs, artifacts in B-spline surfaces, Bézier surfaces of minimal energy, line subdivision, subdivision surfaces, level sets and symmetry, the topology of algebraic surfaces, embedding graphs in manifolds, recovery of 3D shape from shading, finding optimal feedrates for machining, and improving of range data.

Product Description
Mixed-Mode Simulation and Analog Multilevel Simulationaddresses the problems of simulating entire mixed analog/digitalsystems in the time-domain. A complete hierarchy of modeling andsimulation methods for analog and digital circuits is described.
Mixed-Mode Simulation and Analog Multilevel Simulation alsoprovides a chronology of the research in the field of mixed-modesimulation and analog multilevel simulation over the last ten tofifteen years. In addition, it provides enough information to thereader so that a prototype mixed-mode simulator could be developedusing the algorithms in this book.
Mixed-Mode Simulation and Analog Multilevel Simulation can alsobe used as documentation for the SPLICE family of mixed-mode programsas they are based on the algorithms and techniques described in thisbook.
... Read more

Product Description
This book constitutes the strictly refereed post-conference proceedings of the 5th International Symposium on Graph Drawing, GD'97, held in Rome, Italy, in September 1997. The 33 revised full papers and 10 systems demonstrations presented were selected from 80 submissions. The topics covered include planarity, crossing theory, three dimensional representations, orthogonal representations, clustering and labeling problems, packing problems, general methodologies, and systems and applications. ... Read more

Product Description
Wave Pipelining: Theory and CMOS Implementationprovides a coherent presentation of the theory of wave pipelinedoperation of digital circuits and discusses practical designtechniques for the realization of wave pipelined circuits in CMOStechnology.
Wave pipeling is a timing methodology used in digital systems toenhance performance while conserving the number of data registersused. This is achieved by applying new data to the inputs of acombinatorial logic block before the previous outputs are available.In contrast to conventional pipelining, system performance is limitedby differences in maximum and minimum circuit delay rather thanmaximum circuit delays. Realization of practical systems using thistechnique requires accurate system level and circuit level timinganalysis. At the system level, timing constraints identifying validregions of operation for correct clocking of wave pipelined circuitsare presented. Both single stage and multiple stage systems includingfeedback are considered.
At the circuit level, since performance is determined by the maximumcircuit delay difference, highly accurate estimates of both maximumand minimum delays are needed. Thus, timing analysis based ontraditional gate delay models is not sufficient. For CMOS circuits,data dependent delay models considering the effect of simultaneousmultiple input switchings must be used. An algorithm using these delaymodels for accurate analysis of small to medium sized circuits isimplemented in a prototype timing analyzer, XTV. Results are given fora set of benchmark circuits.
... Read more

Product Description
Research results obtained by the authors in recent years form the basis of this volume. The motivation behind this research is the authors' belief that more human-like characteristics in problem solving should be involved in a formal representation in order to achieve better performance for computer-based problem solvers. A large part of the material is presented in the language of mathematics, including elementary topology, set theory and statistics. To help the less mathematically-trained readers follow the basic concepts and techniques, basic definitions and theorems are presented before the discussions. A conscious effort is made to introduce simple examples and applications in each topic. This book is designed for graduate students, research fellows and technicians in Computer Science, especially Artificial Intelligence, and also those concerned with computerised problem solving. ... Read more

Product Description

This practical guide and introduction to the design of key RF building blocks used in high data rate transmitters emphasizes CMOS circuit techniques applicable to oscillators and upconvertors. The book is written in an easily accessible manner, without losing detail on the technical side.

Product Description

This title covers important physical-design issues that exist in contemporary analogue and mixed-signal design flows. The authors bring together many principles and techniques required to successfully develop and implement layout generation tools to accommodate many mixed-signal layout generation needs.

Product Description

This book constitutes the refereed proceedings of the 7th International Conference on Evolvable Systems, ICES 2007, held in Wuhan, China, in September 2007.

The 41 revised full papers presented were carefully reviewed and selected from 123 submissions. The papers are organized in topical sections on digital hardware evolution, analog hardware evolution, bio-inspired systems, mechanical hardware evolution, evolutionary design, evolutionary algorithms in hardware design, and hardware implementation of evolutionary algorithms.

Product Description
On Optimal Interconnections for VLSI describes, from ageometric perspective, algorithms for high-performance, high-densityinterconnections during the global and detailed routing phases ofcircuit layout. First, the book addresses area minimization, with afocus on near-optimal approximation algorithms for minimum-costSteiner routing. In addition to practical implementations of recentmethods, the implications of recent results on spanning tree degreebounds and the method of Zelikovsky are discussed. Second, the bookaddresses delay minimization, starting with a discussion of accurate,yet algorithmically tractable, delay models. Recent minimum-delayconstructions are highlighted, including provably good cost-radiustradeoffs, critical-sink routing algorithms, Elmore delay-optimalrouting, graph Steiner arborescences, non-tree routing, andwiresizing. Third, the book addresses skew minimization for clockrouting and prescribed-delay routing formulations. The discussionstarts with early matching-based constructions and goes on to treatzero-skew routing with provably minimum wirelength, as well as planarclock routing. Finally, the book concludes with a discussion ofmultiple (competing) objectives, i.e., how to optimize area, delay,skew, and other objectives simultaneously. These techniques are usefulwhen the routing instance has heterogeneous resources or is highlycongested, as in FPGA routing, multi-chip packaging, and very denselayouts.
Throughout the book, the emphasis is on practical algorithms and acomplete self-contained development. On Optimal Interconnectionsfor VLSI will be of use to both circuit designers (CAD toolusers) as well as researchers and developers in the area ofperformance-driven physical design. ... Read more

Product Description
This book constitutes the refereed proceedings of the First International Symposium on Digital Earth Moving, DEM 2001, held in Manno, Switzerland, in September 2001.
The twelve revised technical papers presented were carefully reviewed and selected from 36 submissions. Among the topics addressed are automated and computer-aided constructions, topographic form parameterization, off-the-shelf software, digital terrain data, and real-time graphical representation. ... Read more

Product Description
The recent boom in the mobile telecommunication market hascaptured the interest of electronic and communication companiesworldwide. In order to cut costs, and to decrease volume and powerconsumption, research is ongoing which focuses on the integration of acomplete RF transceiver on a single die. This book discusses for thefirst time an important building block in such a single-chip wirelesstransceiver, that is, the frequency synthesizer.
CMOS Wireless Frequency Synthesizer Design starts off with acomprehensive overview of possible synthesizer architectures togetherwith a discussion of the general PLL theory. It goes on to present aneasy calculation method of predicting LC-tuned VCO phase noise.Practical designs are presented which illustrate in detail theimplementation of monolithic LC-tuned VCOs, using either bonding-wireinductors or hollow planar inductors. It is demonstrated that suchdesigns can achieve the required phase noise specifications usingstandard CMOS technology.
CMOS Wireless Frequency Synthesizer Design also discusses theother PLL building blocks such as the high-speed frequency divider.The phase-switching multi-modulus prescaler architecture, whichcombines high input frequencies with a programmable division factor,is presented in chapter 6. A concluding chapter combines all thegathered knowledge and presents the first monolithic standard CMOSfrequency synthesizer that achieves the DCS-1800 specifications.
CMOS Wireless Frequency Synthesizer Design is essential readingfor all researchers and practicing engineers working in the design ofwireless communication systems requiring highly integrated RFtransceivers and frequency synthesizers. ... Read more

Product Description
This book constitutes the refereed proceedings of the Second International Conference on Formal Methods in Computer-Aided Design, FMCAD '98, held in Palo Alto, California, USA, in November 1998. The 27 revised full papers presented were carefully reviewed and selected from a total of 55 submissions. Also included are four tools papers and four invited contributions. The papers present the state of the art in formal verification methods for digital circuits and systems, including processors, custom VLSI circuits, microcode, and reactive software. From the methodological point of view, binary decision diagrams, model checking, symbolic reasoning, symbolic simulation, and abstraction methods are covered. ... Read more

Product Description
This volume contains the proceedings of the 4th International Workshop on Field-Programmable Logic and Applications (FPL '94), held in Prague, Czech Republic in September 1994. The growing importance of field-programmable devices is substantiated by the remarkably high number of 116 submissions for FPL '94; from them, the revised versions of 40 full papers and 24 high-quality poster presentations were accepted for inclusion in this volume. Among the topics treated are: testing, layout, synthesis tools, compilation research and CAD, trade-offs and experience, innovations and smart applications, FPGA-based computer architectures, high-level design, prototyping and ASIC emulators, commercial devices, new tools, CCMs and HW/SW co-design, modelers, educational experience, and novel architectures. ... Read more

Product Description
The goal of the International Workshop on Expert Systems in Engineering is to stimulate the flow of information between researchers working on theoretical and applied research topics in this area. It puts special emphasis on new technologies relevant to industrial engineering expert systems, such as model-based diagnosis, qualitative reasoning, planning, and design, and to the conditions in which they operate, in real time, with database support. The workshop is especially relevant for engineering environments like CIM (computer integrated manufacturing) and process automation. ... Read more

Product Description
The Synthesis Approach to Digital System Design isdesigned as a reference and a textbook that provides a broadcomprehensive presentation of state-of-the-art techniques andalgorithms used in high-level design description, synthesis andverification. By using a complete, high-level design system as avehicle for the text, the authors have captured a number of theessential aspects of high-level design methods as well as the basicalgorithms and data structures that support them. The text is anexcellent starting point for the developers of new high-level designaids and for potential users of such systems as well.
... Read more