Kategoria BISAC: Technology & Engineering >> Electronics - Microelectronics

Reducing the size of a coherently grown semiconductor cluster in all three directions of space to a value below the de Broglie wavelength of a charge carrier leads to complete quantization of the energy levels, density of states, etc. Such quantum dots are more similar to giant atoms in a dielectric cage than to classical solids or semiconductors showing a dispersion of energy as a function of wavevector. Their electronic and optical properties depend strongly on their size and shape, i.e. on their geometry. By designing the geometry by controlling the growth of QDs, absolutely novel...

Applications of Specification and Design Languages for SoCs includes a selection of the best contributions to the Forum on Specification and Design Languages held in 2005 (FDL'05). Since its inception in 1998, FDL has established itself as the premier European forum to exchange experiences and learn about new trends in the application of languages and models for the specification and modeling of electronic systems.

This book provides detailed insights into recent works dealing with a large spectrum of issues in system-on-chip design, namely: assertion-based design,...

The Symposium brought together many of the world's experts in fluid mechanics, microfabrication and control theory to discover the synergy that can lead to real advances and perhaps find ways in which collaborative projects may proceed. The high profile meeting was attended by keynote speakers who are leaders in their fields. A key driver was the improvement in flow efficiency to reduce drag, and thereby emissions arising from transport. About 65 papers were presented.

Innovative Techniques in Instruction Technology, E-Learning, E-Assessment and Education is a collection of world-class paper articles addressing the following topics: (1) E-Learning including development of courses and systems for technical and liberal studies programs; online laboratories; intelligent testing using fuzzy logic; evaluation of on line courses in comparison to traditional courses; mediation in virtual environments; and methods for speaker verification. (2) Instruction Technology including internet textbooks; pedagogy-oriented markup...

Advances in Computer and Information Sciences and Engineering includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computer Science, Software Engineering, Computer Engineering, and Systems Engineering and Sciences.

Advances in Computer and Information Sciences and Engineering includes selected papers from the conference proceedings of the International Conference on Systems, Computing Sciences and Software Engineering (SCSS 2007) which was part of the International Joint...

Although elemental semiconductors such as silicon and germanium are standard for energy dispersive spectroscopy in the laboratory, their use for an increasing range of applications is becoming marginalized by their physical limitations, namely the need for ancillary cooling, their modest stopping powers, and radiation intolerance. Compound semiconductors, on the other hand, encompass such a wide range of physical and electronic properties that they have become viable competitors in a number of applications. Compound Semiconductor Radiation Detectors is a consolidated...

This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). A fast and highly fault efficient SAT-based ATPG framework is presented which is also able to generate high-quality delay tests such as robust path delay tests, as well as tests with long propagation paths to detect small delay defects.

The aim of the techniques and methodologies presented in this book is to improve SAT-based ATPG, in order to make it applicable in industrial practice. Readers will learn...

Part one provides an introduction to ATILA FEM software, beginning with an overview of the software code. New capabilities and loss integration...

In "The g_m/I_D Methodology, a Sizing Tool for Low-Voltage Analog CMOS Circuits," we compare the semi-empirical to the compact model approach. Small numbers of parameters make the compact model attractive for the model paves the way towards analytic expressions unaffordable otherwise. The E.K.V model is a good candidate, but when it comes to short channel devices, compact models are either inaccurate or loose straightforwardness. Because sizing requires basically a reliable large signal representation of MOS transistors, we investigate the potential of the E.K.V model...