Correct-by-Construction Approaches for SoC Design, Roopak Sinha; Parthasarathi Roop; Samik Basu

Автор: Ivan Djordjevic
Название: Quantum Information Processing and Quantum Error Correction,
ISBN: 0123854911 ISBN-13(EAN): 9780123854919
Издательство: Elsevier Science
Рейтинг:
Цена: 12462.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Offers a self-contained, tutorial-based introduction to quantum information, quantum computation, and quantum error-correction. Assuming no knowledge of quantum mechanics, this book gives all the essential principles needed to design and implement quantum electronic and photonic circuits.

Автор: Roopak Sinha; Parthasarathi Roop; Samik Basu
Название: Correct-by-Construction Approaches for SoC Design
ISBN: 1461478634 ISBN-13(EAN): 9781461478638
Издательство: Springer
Рейтинг:
Цена: 16979.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The methodologies presented in this book enable designers to reuse intellectual property (IP) blocks from existing designs in an efficient, reliable manner, automatically generating correct Systems-on-Chips from multiple, possibly mismatching, components.

Автор: Paolo Enrico Camurati; Hans Eveking
Название: Correct Hardware Design and Verification Methods
ISBN: 3540603859 ISBN-13(EAN): 9783540603856
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies. This volume covers model checking, theorem proving, formally verified synthesis, process algebras, finite state systems, verification environments, language containment and VHDL.

Автор: Rino Micheloni; A. Marelli; R. Ravasio
Название: Error Correction Codes for Non-Volatile Memories
ISBN: 9048178649 ISBN-13(EAN): 9789048178643
Издательство: Springer
Рейтинг:
Цена: 20896.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents the basics of coding theory needed to understand the application to memories, as well as the relevant design topics, with reference to both NOR and NAND Flash architectures. It also includes a collection of software routines.

Автор: Cosmin Radu Popa
Название: Superior-Order Curvature-Correction Techniques for Voltage References
ISBN: 1441904158 ISBN-13(EAN): 9781441904157
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Suitable for students and specialists in the area of analog and mixed-signal CMOS VLSI design, this book focuses on analysis and design of voltage reference circuits. It intends to evaluate the possibilities of improving the thermal behavior of voltage references by implementing superior-order curvature-correction techniques.

Автор: Cosmin Radu Popa
Название: Superior-Order Curvature-Correction Techniques for Voltage References
ISBN: 1489983945 ISBN-13(EAN): 9781489983947
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book covers the analysis and design of voltage reference circuits. It evaluates the possibilities of improving the thermal behavior of voltage references by implementing superior-order curvature-correction techniques.

Автор: Cyrille Chavet; Philippe Coussy
Название: Advanced Hardware Design for Error Correcting Codes
ISBN: 3319355104 ISBN-13(EAN): 9783319355108
Издательство: Springer
Рейтинг:
Цена: 13059.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: User Needs.- Challenges and Limitations for Very High Throughput Decoder Architectures for Soft-Decoding.- Implementation of Polar Decoders.- Parallel architectures for Turbo Product Codes Decoding.- VLSI implementations of sphere detectors.- Stochastic Decoders for LDPC Codes.- MP-SoC/NoC architectures for error correction.- ASIP design for multi-standard channel decoders.- Hardware design of parallel interleaver architecture: a survey.