Test Pattern Generation using Boolean Proof Engines, Rolf Drechsler; Stephan Eggersgl??; G?rschwin Fey;

Автор: Stephan Eggersgl??; Rolf Drechsler
Название: High Quality Test Pattern Generation and Boolean Satisfiability
ISBN: 1489988475 ISBN-13(EAN): 9781489988478
Издательство: Springer
Рейтинг:
Цена: 95770.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). It presents a fast and highly fault efficient SAT-based ATPG framework.

Автор: David P. Rosin
Название: Dynamics of Complex Autonomous Boolean Networks
ISBN: 3319135775 ISBN-13(EAN): 9783319135779
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This thesis focuses on the dynamics of autonomous Boolean networks, on the basis of Boolean logic functions in continuous time without external clocking.

Автор: William K.C. Lam; Robert K. Brayton
Название: Timed Boolean Functions
ISBN: 1461361567 ISBN-13(EAN): 9781461361565
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Timing research in high performance VLSI systems has advanced at a steady pace over the last few years, while tools, especially theoretical mechanisms, lag behind. In the second part, we apply Timed Boolean Functions to three problems in timing research, for which exact solutions are obtained for the first time: 1.

Автор: Frank Markham Brown
Название: Boolean Reasoning
ISBN: 1475720807 ISBN-13(EAN): 9781475720808
Издательство: Springer
Рейтинг:
Цена: 121890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Such equations were central in the "algebra of logic" created in 1847 by Boole [12, 13] and devel- oped by others, notably Schroder [178], in the remainder of the nineteenth century.

Автор: Benoit Dufort; G.W. Roberts
Название: Analog Test Signal Generation Using Periodic ??-Encoded Data Streams
ISBN: 0792372115 ISBN-13(EAN): 9780792372110
Издательство: Springer
Рейтинг:
Цена: 139710.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents method to generate high quality analog signals with low hardware complexity. This book also introduces three different calibration techniques to reduce effects of the AWG`s non-linearities, together with experimental evidence. Its also describe an area-efficient technique for analog signal generation using SigmaDelta-encoded data stream.

Автор: Kwang-Ting (Tim) Cheng; Vishwani D. Agrawal
Название: Unified Methods for VLSI Simulation and Test Generation
ISBN: 0792390253 ISBN-13(EAN): 9780792390251
Издательство: Springer
Рейтинг:
Цена: 139310.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Gordon W. Roberts; Albert K. Lu
Название: Analog Signal Generation for Built-In-Self-Test of Mixed-Signal Integrated Circuits
ISBN: 0792395646 ISBN-13(EAN): 9780792395645
Издательство: Springer
Рейтинг:
Цена: 158340.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Offers an introduction to the testing problem and a review of conventional signal generation techniques. This book describes an oversampling-based oscillator capable of generating high-precision analog tones using a combination of digital logic and D/A conversion.

Автор: William K.C. Lam; Robert K. Brayton
Название: Timed Boolean Functions
ISBN: 0792394542 ISBN-13(EAN): 9780792394549
Издательство: Springer
Рейтинг:
Цена: 158380.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents a methodology for timing research which facilitates analysis and design of circuits and systems in a unified temporal and logical domain. This book shows us the central idea of representing logical and timing information in a common structure, TBFs, and to present a canonical form suitable for efficient manipulation.

Автор: David P. Rosin
Название: Dynamics of Complex Autonomous Boolean Networks
ISBN: 3319367064 ISBN-13(EAN): 9783319367064
Издательство: Springer
Рейтинг:
Цена: 87060.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This thesis focuses on the dynamics of autonomous Boolean networks, on the basis of Boolean logic functions in continuous time without external clocking.

Автор: Narinder Singh
Название: An Artificial Intelligence Approach to Test Generation
ISBN: 1461291836 ISBN-13(EAN): 9781461291831
Издательство: Springer
Рейтинг:
Цена: 158380.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: I am indebted to my thesis advisor, Michael Genesereth, for his guidance, inspiration, and support which has made this research possible. This research was supported by Schlumberger Palo Alto Research (previously Fairchild Laboratory for Artificial Intelligence).

Автор: Frank Markham Brown
Название: Boolean Reasoning
ISBN: 0792391217 ISBN-13(EAN): 9780792391210
Издательство: Springer
Рейтинг:
Цена: 139310.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Such equations were central in the "algebra of logic" created in 1847 by Boole [12, 13] and devel- oped by others, notably Schroder [178], in the remainder of the nineteenth century.

Автор: Daizhan Cheng; Hongsheng Qi; Zhiqiang Li
Название: Analysis and Control of Boolean Networks
ISBN: 1447126114 ISBN-13(EAN): 9781447126119
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents a new approach to the investigation of Boolean control networks, using the semi-tensor product (STP), which can express a logical function as a conventional discrete-time linear system. This makes it possible to analyze basic control problems.