Hardware/Software Co-Design and Co-Verification, Jean-Michel Berg?; Oz Levia; Jacques Rouillard
Автор: Marcus S. Fisher Название: Software Verification and Validation ISBN: 1441941002 ISBN-13(EAN): 9781441941008 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The World is lacking an in-depth technical book describing the meth- ods and techniques used to provide confidence in our system software. Not only is the U.S. government more focused on software safety in to- day's market, but private industry and academia are as well. The methods and techniques that provide such confidence are commonly called software verification and validation. Software Verification and Validation: An Engineering and Scientific Approach, a professional book, fills the critical need for an in-depth tech- nical reference providing the methods and techniques for building and maintaining confidence in many varieties of system software. The intent of this volume is to help develop reliable answers to such critical questions as: 1) Are we building the right software for the need? 2) Are we building the software right? Software Verification and Validation: An Engineering and Scientific Approach is structured for research scientists and practitioners in industry.
Автор: 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.
Автор: Hon Li; David Probst Название: Advances in Hardware Design and Verification ISBN: 0412813300 ISBN-13(EAN): 9780412813306 Издательство: Springer Рейтинг: Цена: 26414.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: CHARM `97 is the ninth in a series of working conferences devoted to the development and use of formal techniques in digital hardware design and verification. This series is held in collaboration with IFIP WG 10.5. Previous meetings were held in Europe every other year.
Автор: 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.
Автор: Abderazek Ben Abdallah Название: Multicore Systems On-Chip: Practical Software/Hardware Design ISBN: 9491216910 ISBN-13(EAN): 9789491216916 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This reflects the fact that certain processor jobs cannot be easily parallelized to run concurrently on multiple processing cores and that load balancing between processing cores - especially heterogeneous cores - is very difficult.
Описание: 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).
Автор: 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
