Advanced Symbolic Analysis for VLSI Systems, Guoyong Shi; Sheldon X.-D. Tan; Esteban Tlelo Cuau

Автор: Yi-Kan Cheng; Ching-Han Tsai; Chin-Chi Teng; Sung-
Название: Electrothermal Analysis of VLSI Systems
ISBN: 1475773730 ISBN-13(EAN): 9781475773736
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This useful book addresses electrothermal problems in modern VLSI systems. The authors present three important applications of VLSI electrothermal analysis: temperature-dependent electromigration diagnosis, cell-level thermal placement, and temperature-driven power and timing analysis.

Автор: Kenneth L. McMillan
Название: Symbolic Model Checking
ISBN: 1461363993 ISBN-13(EAN): 9781461363996
Издательство: Springer
Рейтинг:
Цена: 87070.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified properties are satisfied.

Автор: Robert B. Jones
Название: Symbolic Simulation Methods for Industrial Formal Verification
ISBN: 1461353955 ISBN-13(EAN): 9781461353959
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Veena S. Chakravarthi; Yasha Jyothi M. Shirur; Rek
Название: Proceedings of International Conference on VLSI, Communication, Advanced Devices, Signals & Systems and Networking (VCASAN-2013)
ISBN: 8132215230 ISBN-13(EAN): 9788132215233
Издательство: Springer
Рейтинг:
Цена: 243800.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is a collection of papers presented by renowned researchers, keynote speakers, and academicians in the International Conference on VLSI, Communication, Analog Designs, Signals & Systems and Networking (VCASAN-2013), organized by B.N.M.

Автор: Carver Mead; Mohammed Ismail
Название: Analog VLSI Implementation of Neural Systems
ISBN: 146128905X ISBN-13(EAN): 9781461289050
Издательство: Springer
Рейтинг:
Цена: 130610.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the proceedings of a workshop on Analog Integrated Neural Systems held May 8, 1989, in connection with the International Symposium on Circuits and Systems.

Автор: M.C. Bhuvaneswari
Название: Application of Evolutionary Algorithms for Multi-objective Optimization in VLSI and Embedded Systems
ISBN: 8132219570 ISBN-13(EAN): 9788132219576
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book describes how evolutionary algorithms (EA), including genetic algorithms (GA) and particle swarm optimization (PSO) can be utilized for solving multi-objective optimization problems in the area of embedded and VLSI system design.