تحسين النتائح
ترتيب حسب
من
الى
الصفحة 1
الصفحة 1
Logic Synthesis for Compositional Microprogram Control Units
In this book control algorithms are represented by the linear graph-schemes of algorithms (GSA), where the number of operator vertices is not less than 75% of the total number of all algorithm vertices. A special class of control units named as compositional microprogram control units (CMCU) is proposed as the best way for interpretation of linear control algorithms.
Analog Design Essentials
The book starts with elementary stages in building up operational amplifiers. The synthesis of opamps is covered in great detail, such that lowest power consumption is always guaranteed. Many examples are included, operating at low supply voltages. Chapters on noise, distortion, filters, ADC/DACs and oscillators follow. These are all based on the extensive amount of teaching that the author has carried out both at universities and companies world-wide. All chapters have been drawn up specifically for self-study. They aim, however, at different levels of understanding. All start with elementary material. Most chapters also contain advanced material, especially from Chapter 9 onwards.
An Interactive Multimedia Introduction to Signal Processing
A didactic concept is undertaken for microelectronics, computer technology and communication engineering, which deals with the visualization of signals and processes in addition to graphical programming of signal processing systems. Through the utilization of a professional and globally supported software for metrology and control engineering, DasyLab, useful applications can be developed, modified and optimized. Computer supported processing of real signals is made possible over the sound card and the parallel port. Over two hundred pre-programmed signal engineering systems and design transparencies are provided. Pictures also play a dominant rule in this book: there are numerous introduction-videos, one for every chapter, more than 250 high-quality pictures and - most important – all the "living" experiments and their results are visualized. With this learning system, readers can now make use of "equipment" and software, which was practically unaffordable for individuals in the past. What's more, here is a very new concept for learning Signal Processing, not only from the physically-based scientific fundamentals, but also from the didactic perspective, based on modern results of brain research.
A Roadmap for Formal Property Verification
This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap that shows how to glue FPV technology into the traditional validation flow. A Roadmap for Formal Property Verification explores the key issues in this powerful technology through simple examples – you do not need any background on formal methods to read most parts of this book.
