Litgu.ru - Литературный Гуру

Название: Formal Verification: An Essential Toolkit for Modern VLSI Design, 2nd Edition
Автор: Erik Seligman, Tom Schubert, M.V. Achutha Kiran Kumar
Издательство: Morgan Kaufmann/Elsevier
Год: 2023
Страниц: 428
Язык: английский
Формат: pdf (true)
Размер: 10.2 MB

Formal Verification: An Essential Toolkit for Modern VLSI Design, Second Edition presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically explore the quality or other aspects of a Register Transfer Level (RTL) design without using simulations. This can reduce time spent validating designs and more quickly reach a final design for manufacturing. Building on a basic knowledge of SystemVerilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation processes. New sections cover advanced techniques, and a new chapter, The Road To Formal Signoff, emphasizes techniques used when replacing simulation work with Formal Verification. After reading this book, readers will be prepared to introduce FV in their organization to effectively deploy FV techniques that increase design and validation productivity.

Название: Circuit Simulation with TINA Design Suite and TINACloud
Автор: Dogan Ibrahim
Издательство: Elektor
Год: 2022
Страниц: 442
Язык: английский
Формат: pdf (true)
Размер: 33.7 MB

Electronic circuit simulation is very important in all branches of electrical and electronic engineering. Circuit developers can test their designs in a virtual environment before actually building them with real parts which means fewer prototypes and saves time, effort and cost. Students can put into practise the theory they have learned in their lectures, and this gives them the chance to apply the theory to real-world experiments. Circuit theory is a core subject and is the fundamental part of all electrical and electronic engineering courses. In conventional engineering laboratory experiments, it is necessary to purchase electronic components and instruments and use them to build circuits, and then carry out experiments using these circuits. Usually, it may be costly and sometimes difficult to obtain the components required for an experiment, especially during the development cycle.

Название: Микросхемы для аналого-цифрового преобразования и средств мультимедиа
Автор: Перебаскин А.В., Бахметьев А.А., Колосов С.О.
Издательство: Додэка
Год: 1996
Формат: djvu
Страниц: 384
Размер: 12 Мб
Язык: руcский

Этот том является продолжением серии справочников "Интегральные микросхемы" и первым выпуском, посвященным микросхемам для аналого - цифрового преобразования и средств мультимедиа. Приводятся подробные технические сведения о приборах, выпускаемых в СНГ и их зарубежных аналогах, микросхемах выпускаемых ведущими фирмами мира, торговые марки и адреса изготовителей и торгующих организаций.

Название: Радиоэлектронная борьба: функциональное поражение радиоэлектронных средств
Автор: Дмитриев В.Г.
Издательство: Инфра-Инженерия
Год: 2021
Cтраниц: 268
Формат: pdf
Размер: 52 мб
Язык: русский

Рассматриваются принципиальные возможности, технические приемы проектирования и использования средств функционального поражения одноразового и многоразового применения, оснащенных сверхвысокочастотными и сверхширокополосными импульсными генераторами. Для специалистов в области радиоэлектронной и информационной борьбы.

Название: ESP32 steuert Roboterauto : Open-Source-Code mit Arduino IDE und PlatformIO | Autonomes Fahren: GPS, Accelerometer, Gyroskop PS3-Controller
Автор: Udo Brandes
Издательство: Elektor Verlag GmbH
Год: 2022
Страниц: 268
Язык: немецкий
Формат: pdf (true)
Размер: 50.60 MB

Mikrocontroller wie der Arduino und Einplatinenrechner wie der Raspberry Pi haben sich zu beliebten Komponenten entwickelt. Dritter im Bunde ist der ESP32 der Firma Espressif. Mikrocontroller dieser Baureihe zeichnen sich durch eine Vielzahl implementierter Funktionen aus, die bei einem Arduino konventioneller Prägung mit einem Atmel-AVR-Mikrocontroller erst mit weiterer Hardware möglich sind. Prominentes Beispiel sind hier die WiFi- und Bluetooth-Funktionalitäten. Gegenüber einem Raspberry Pi zeichnen sie sich durch einen deutlich geringeren Preis aus. Allgemeine Informationen für die Realisierung eines Roboterauto-Projekts mit dem ESP32 sind leicht zu finden. Dabei handelt es sich aber oft nur um Ausführungen zu einem Teilaspekt, ohne inhaltliche oder funktionale Abstimmung. So ist nicht nur die Beschaffung der benötigten Informationen mühselig und zeitaufwändig, sie kann auch außerordentlich fehlerträchtig sein.

Название: Home Appliance Hack-and-IoT Guidebook : Affordable solutions with the ESP8266 and 3D printing
Автор: Hans Henrik Skovgaard
Издательство: Elektor
Год: 2023
Страниц: 378
Язык: английский
Формат: pdf (true)
Размер: 50.5 MB

Affordable solutions with the ESP8266 and 3D printing. If you are looking for a small yet powerful IoT device, you are likely to come across the ESP8266 and compatible products on the market today. One of these, the Wemos/Lolin D1 Mini Pro board strikes a remarkable balance between cost and performance. A small and very affordable prototype board, the D1 Mini Pro stands out with its WiFi functionality and a 16-Mbytes flash memory for easy creation of a flash file system. In addition, there are sufficient input and output pins (only one analog input though) to support PWM, I²C, and One-Wire systems to mention but a few. The book describes the operation, modding, construction, and programming of home appliances including a colorful smart home accessory, a refrigerator/greenhouse controller, an AC powerline monitor, a door lock monitor, and an IKEA Trådfri controller. As a benefit, all firmware developed for these DIY, "IoT-ized" devices can be updated over-the-air (OTA). For most of the designs in the book, a small printed circuit board (PCB) and an enclosure are presented so readers can have a finished and attractive-looking product. Readers having – or with access to! – a 3D printer can "print" the suggested enclosures at home or in a shop.

Название: Raspberry Pi Pico W : Program, build, and master 60+ projects with the Wireless RP2040
Автор: Dogan Ibrahim
Издательство: Elektor
Год: 2022
Страниц: 310
Язык: английский
Формат: pdf (true)
Размер: 34.9 MB

There is a new edition of this book: Programming The Raspberry Pi Pico/W In C, Second Edition. The Raspberry Pi Pico is a remarkable microcontroller. It has a power and sophistication that would have been unthinkable just a short time ago. For the sort of jobs it is ideal for, it has plenty of processing power and enough memory to make tasks that would have once required careful planning, relatively easy. Instead of struggling with the machine, you can now focus on getting a good implementation of your algorithms. To enjoy all of its power and sophistication there is no better language than C. It wastes none of the power and it gives you what you need to get at the new features. However, getting started with the Pico with C is no easy feat, which is what motivated this book about creating programs so that testing and debugging is easy. Programming the Raspberry Pi Pico in C uses the highly popular VS Code as its development environment and shows how to use a Raspberry Pi or a desktop PC running Windows as your development machine. The purpose of the book is to reveal what you can do with the Pico's GPIO lines together with widely used sensors, servos and motors and ADCs. After covering the GPIO, outputs and inputs, events and interrupts, it gives you hands-on experience of PWM (Pulse Width Modulation), the SPI bus, the I2C bus and the 1-Wire bus.

Название: Build Your Own Multifunctional 4-Axis CNC Machine : Plot, Cut, Drill, Mill and Laser with the Z99
Автор: Jose Ganseman
Издательство: Elektor
Год: 2022
Страниц: 172
Язык: английский
Формат: pdf (true)
Размер: 45.5 MB

Plot, Cut, Drill, Mill and Laser with the Z99. This book covers the construction, hardware, software, and operation of the Z99 – CNC machine. This is a multifunctional 4-axis machine for home construction. By making the support software available as freeware, readers of the book are challenged and encouraged to develop new applications for the Z99. The machine would not be of much use if the user has no option to create suitable files for the designs in mind. A large part of this book is dedicated to creating source files in a variety of freeware software packages, including Inkscape, DesignSpark PCB, KiCad, and FlatCAM. The book is also useful for readers keen to comprehend and then master the basic structure of HPGL, Gerber, Drill, and G-code files, as well as to have a go at deciphering them using software.

Название: PID-based Practical Digital Control with Raspberry Pi and Arduino Uno
Автор: Dogan Ibrahim
Издательство: Elektor
Год: 2022
Страниц: 238
Язык: английский
Формат: pdf (true)
Размер: 37.4 MB

The Arduino Uno is an open-source microcontroller development system encompassing hardware, an Integrated Development Environment (IDE), and a vast number of libraries. It is supported by an enormous community of programmers, electronic engineers, enthusiasts, and academics. The libraries in particular really smooth Arduino programming and reduce programming time. What’s more, the libraries greatly facilitate testing your programs since most come fully tested and working. The Raspberry Pi 4 can be used in many applications such as audio and video media devices. It also works in industrial controllers, robotics, games, and in many domestic and commercial applications. The Raspberry Pi 4 also offers Wi-Fi and Bluetooth capability which makes it great for remote and Internet-based control and monitoring applications.

Название: Arduino & Co - Measure, Control, and Hack: Clever Tricks with ATmega328 Pro Mini Boards
Автор: Robert Sontheimer
Издательство: Elektor
Год: 2022
Страниц: 332
Язык: английский
Формат: pdf (true)
Размер: 11.0 MB

With a simple Pro Mini board and a few other components, projects that 20 or 30 years ago were unthinkable (or would have cost a small fortune) are realized easily and affordably in this book: From simple LED effects to a full battery charging and testing station that will put a rechargeable through its paces, there’s something for everyone. All the projects are based on the ATmega328 microcontroller, which offers endless measuring, switching, and control options with its 20 input and output lines. For example, with a 7-segment display and a few resistors, you can build a voltmeter or an NTC-based thermometer. The Arduino platform offers the perfect development environment for programming this range of boards. Besides these very practical projects, the book also provides the necessary knowledge for you to create projects based on your own ideas. How to measure, and what? Which transistor is suitable for switching a certain load? When is it better to use an IC? How do you switch mains voltage? Even LilyPad-based battery-operated projects are discussed in detail, as well as many different motors, from simple DC motors to stepper motors.