Advances in Hardware Design and Verification, Hon Li; David Probst
Автор: Jean-Michel Berg?; Oz Levia; Jacques Rouillard Название: Hardware/Software Co-Design and Co-Verification ISBN: 0792396898 ISBN-13(EAN): 9780792396895 Издательство: Springer Рейтинг: Цена: 28734.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Co-Design is the set of emerging techniques which allows for the simultaneous design of Hardware and Software. Hardware/Software Co-Design and Co-Verification will help designers and researchers to understand these latest techniques in system design and as such will be of interest to all involved in embedded system design.
Автор: Michael D. Harrison; Juan C. Torres Название: Design, Specification and Verification of Interactive Systems `97 ISBN: 3211830553 ISBN-13(EAN): 9783211830550 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. This book reflects the state of the art in this important area and also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study.
Автор: Joaquim Jorge; Nuno Jardim Nunes; Joao Falcao e Cu Название: Interactive Systems. Design, Specification, and Verification ISBN: 3540201599 ISBN-13(EAN): 9783540201595 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Philippe Palanque; Remi Bastide Название: Design, Specification and Verification of Interactive Systems `95 ISBN: 3211827390 ISBN-13(EAN): 9783211827390 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains 21 contributions which cover the different aspects of interactive systems, from formal user modelling to formal techniques for prototyping, and describes state-of-the-art developments in these topics, also giving new directions for future research.
Автор: Panos Markopoulos; Peter Johnson Название: Design, Specification and Verification of Interactive Systems `98 ISBN: 3211832122 ISBN-13(EAN): 9783211832127 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Does modelling, formal or otherwise, play a role in designing interactive systems? This development poses a significant challenge to modelling approaches used for the design of interactive systems.
Автор: Tiziana Margaria; Tom Melham Название: Correct Hardware Design and Verification Methods ISBN: 3540425411 ISBN-13(EAN): 9783540425410 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A collection of papers that offer topical sections on model checking, clocking issues, theorem proving with higher order logics, hardware compilation, tools, component verification, case studies, algorithm verification, and duration calculus.
Описание: Their idea was to model Viper in a sequence of decreasingly abstract levels, each of which concentrated on some aspect ofthe design, such as the flow ofcontrol, the processingofinstructions, and so on. That is, each model would be a specification of the next (less abstract) model, and an implementation of the previous model (if any).
Автор: Progyna Khondkar Название: Low-Power Design and Power-Aware Verification ISBN: 3319666185 ISBN-13(EAN): 9783319666181 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Until now, there has been a lack of a complete knowledge base to fully comprehend Low power (LP) design and power aware (PA) verification techniques and methodologies and deploy them all together in a real design verification and implementation project. This book is a first approach to establishing a comprehensive PA knowledge base.LP design, PA verification, and Unified Power Format (UPF) or IEEE-1801 power format standards are no longer special features. These technologies and methodologies are now part of industry-standard design, verification, and implementation flows (DVIF). Almost every chip design today incorporates some kind of low power technique either through power management on chip, by dividing the design into different voltage areas and controlling the voltages, through PA dynamic and PA static verification, or their combination.The entire LP design and PA verification process involves thousands of techniques, tools, and methodologies, employed from the register transfer level (RTL) of design abstraction down to the synthesis or place-and-route levels of physical design. These techniques, tools, and methodologies are evolving everyday through the progression of design-verification complexity and more intelligent ways of handling that complexity by engineers, researchers, and corporate engineering policy makers.
Автор: Francois Bodart; Jean Vanderdonckt Название: Design, Specification and Verification of Interactive Systems `96 ISBN: 3211829008 ISBN-13(EAN): 9783211829004 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These revised papers from the Eurographics workshop in Namur, Belgium review the design, specification and verification of interactive systems, comparing the different existing approaches to this field in order to identify the principal requirements and the most suitable notation.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
