Kategoria BISAC: Technology & Engineering >> Electronics - Circuits - General

Microprocessors increasingly control and monitor our most critical systems, including automobiles, airliners, medical systems, transportation grids, and defense systems. The relentless march of semiconductor process technology has given engineers exponentially increasing transistor budgets at constant recurring cost. This has encouraged increased functional integration onto a single die, as well as increased architectural sophistication of the functional units themselves. Additionally, design cycle times are decreasing, thus putting increased schedule pressure on engineers. Not...

This book surveys the advanced simulation methods needed for proper modeling of state-of-the-art nanoscale devices. It systematically describes theoretical approaches and the numerical solutions that are used in explaining the operation of both power devices as well as nano-scale devices. It clearly explains for what types of devices a particular method is suitable, which is the most critical point that a researcher faces and has to decide upon when modeling semiconductor devices.

Effective Functional Verification is organized into 4 parts. The first part contains 3 chapters designed appeal to newcomers and experienced people to the field. There is a survey of various verification methodologies and a discussion of them.

The second part with 3 chapters is targeted towards people in management and higher up on the experience ladders. New verification engineers reading these chapters learn what is expected and how things work in verification. Some case studies are also presented with analysis of proposed improvements.

The last two parts...

SystemVerilog language consists of three very specific areas of constructs -- design, assertions and testbench. Assertions add a whole new dimension to the ASIC verification process. Assertions provide a better way to do verification proactively. Traditionally, engineers are used to writing verilog test benches that help simulate their design. Verilog is a procedural language and is very limited in capabilities to handle the complex Asic's built today. SystemVerilog assertions (SVA) are a declarative and temporal language that provides excellent control over time and parallelism. This...

This book introduces a novel design methodology which can significantly reduce the ASIP development effort through high degrees of design automation. The key elements of this new design methodology are a powerful application profiler and an automated instruction-set customization tool which considerably lighten the burden of mapping a target application to an ASIP architecture in the initial design stages. The book includes several design case studies with real life embedded applications to demonstrate how the methodology and the tools can be used in practice for accelerating the overall...

Analog Filter Design

This university level Electrical Engineering text is for anyone who wants to know how to design analog filters.

The present text is unusually accessible to readers who want to acquire the skills of analog filter design. We present a thorough foundation so that you can proceed to learn how to design any filter.

This text is different from other filter design texts, because we actually design circuits, and not just talk about them.

And, we ask you to work hard doing experiments so that you acquire...