Simulation and Verification of Electronic and Biological Systems, Peng Li; Lu?s Miguel Silveira; Peter Feldmann
Автор: Malvino Название: Electronic principles with simulation cd ISBN: 0071108467 ISBN-13(EAN): 9780071108461 Издательство: McGraw-Hill Рейтинг: Цена: 8468.00 р. Наличие на складе: Поставка под заказ.
Описание: This seventh edition of Malvino's classic "Electronic Principles" offers students a definitive overview of electronic circuits and devices. Expert knowledge of electronic devices is presented in a stimulating, clearly written, conversational style. The new, streamlined book design is full-color throughout, with ample, clear illustrations. Greater emphasis on modern integrated circuit (IC) technology and the revision of nearly one third of the previous edition's chapter problems and review questions refresh this text while retaining its proven approach. In addition to the text there is a wealth of supplementary material included for both student and instructor. An upgraded Experiments Manual, the optional use of MultiSIM software, an instructor's manual with an Instructor Productivity Center CD-ROM, the updated Workbook, and the brand new Online Learning Center website make this text a powerful learning tool. "Electronic Principles" is written for electronics students who have done course work in basic DC/AC circuit analysis, along with algebra and trigonometry prerequisites. The book gives clear, accessible coverage of basic electronics concepts in the first half of the book, and then applies these to the important electronic circuits and devices most widely used in today's industry.
Описание: This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation. It describes new ideas that enable the use of formal methods, specifically symbolic simulation, in validating commercial hardware designs of remarkable complexity.
Автор: Valeria Bertacco Название: Scalable Hardware Verification with Symbolic Simulation ISBN: 1441937390 ISBN-13(EAN): 9781441937391 Издательство: Springer Рейтинг: Цена: 14365.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is intended as an innovative overview of current formal verification methods, combined with an in-depth analysis of some advanced techniques to improve the scalability of these methods, and close the gap between design and verification in computer-aided design.
Описание: Since parallel discrete event simulation (PDES) has the potential to exploit the underlying parallel computational capability in today`s multi-core simulation hosts, the author begins by reviewing the parallelization of discrete event simulation, identifying problems and solutions.
Описание: This book analyzes the challenges in verifying Dynamically Reconfigurable Systems (DRS) with respect to the user design and the physical implementation of such systems. Two implementations of the simulation-only layer are included: Extended Re Channel is a System C library that can be used to check DRS designs at a high level;
Автор: Rolf Drechsler; Ulrich K?hne Название: Formal Modeling and Verification of Cyber-Physical Systems ISBN: 3658099933 ISBN-13(EAN): 9783658099930 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany.
Описание: It was the first of its kind to be run by an automotive major to bring together the leaders in the field of embedded systems development to present state-of-the-art work, and to discuss future strategies for addressing the increasing complexity of embedded control systems.
Описание: This text examines several leading-edge design and verification technologies that have been successfully applied to microprocessor systems for high-assurance applications at various levels. It includes many practical case studies.
Описание: This text examines several leading-edge design and verification technologies that have been successfully applied to microprocessor systems for high-assurance applications at various levels. It includes many practical case studies.
Описание: This book analyzes the challenges in verifying Dynamically Reconfigurable Systems (DRS) with respect to the user design and the physical implementation of such systems. Two implementations of the simulation-only layer are included: Extended Re Channel is a System C library that can be used to check DRS designs at a high level;
Автор: Brian Bailey; Grant Martin; Thomas Anderson Название: Taxonomies for the Development and Verification of Digital Systems ISBN: 1441936815 ISBN-13(EAN): 9781441936813 Издательство: Springer Рейтинг: Цена: 14365.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Communication between engineers, their managers, suppliers and customers relies on the existence of a common understanding for the meaning of terms. While this is not normally a problem, it has proved to be a significant roadblock in the EDA industry where terms are created as required by any number of people, multiple terms are coined for the same thing, or even worse, the same term is used for many different things. This taxonomy identifies all of the significant terms used by an industry and provides a structural framework in which those terms can be defined and their relationship to other terms identified. The origins of this work go back to 1995 with a government-sponsored program called RASSP. At the termination of their work, VSIA picked up their work and developed it further. Three new taxonomies were introduced by VSIA for additional facets of the system design and development process. Since role of VSIA has now changed so that it no longer maintains these taxonomies, the baton is being passed on again through a group of interested people and manifested in this key reference work.
Автор: Paulo Tabuada Название: Verification and Control of Hybrid Systems ISBN: 1441954988 ISBN-13(EAN): 9781441954985 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book examines several classes of hybrid systems, admitting symbolic models along with the relationships between them. It outlines several key verification and control synthesis results for hybrid systems.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
