Logic Synthesis for Finite State Machines Based on Linear Chains of States, Alexander Barkalov; Larysa Titarenko; Jacek Biegan
Автор: Timothy Kam; Tiziano Villa; Robert K. Brayton; Alb Название: Synthesis of Finite State Machines ISBN: 0792398424 ISBN-13(EAN): 9780792398424 Издательство: Springer Рейтинг: Цена: 23508.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A monograph devoted to the synthesis of Finite State Machines (FSMs). It presents some preliminary definitions, theories and techniques related to the exploration of behaviors of FSMs. It provides an implicit algorithm for exact state minimization of incompletely specified finite state machines (ISFSMs).
Автор: Tiziano Villa; Timothy Kam; Robert K. Brayton; Alb Название: Synthesis of Finite State Machines ISBN: 1461378214 ISBN-13(EAN): 9781461378211 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Synthesis of Finite State Machines: Logic Optimization is the second in a set of two monographs devoted to the synthesis of Finite State Machines (FSMs).
Автор: Kung-Kiu Lau Название: Logic Based Program Synthesis and Transformation ISBN: 3540421270 ISBN-13(EAN): 9783540421276 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The ten papers presented in this volume have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.
Автор: Maurizio Proietti; Hirohisa Seki Название: Logic-Based Program Synthesis and Transformation ISBN: 3319178210 ISBN-13(EAN): 9783319178219 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization.
Автор: Ndjountche Название: Digital Electronics V3 - Finite-state Machines ISBN: 1848219865 ISBN-13(EAN): 9781848219861 Издательство: Wiley Рейтинг: Цена: 22010.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This third volume in the comprehensive Digital Electronics series, which explores the basic principles and concepts of digital circuits, focuses on finite state machines.
Описание: This book discusses Moore finite state machines (FSMs) implemented with field programmable gate arrays (FPGAs) including look-up table (LUT) elements and embedded memory blocks (EMBs).
Автор: Alexander Barkalov; Larysa Titarenko; Malgorzata K Название: Logic Synthesis for FPGA-Based Finite State Machines ISBN: 3319242008 ISBN-13(EAN): 9783319242002 Издательство: Springer Рейтинг: Цена: 18284.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book discusses control units represented by the model of a finite state machine (FSM). It contains various original methods and takes into account the peculiarities of field-programmable gate arrays (FPGA) chips and a FSM model.
Автор: Timothy Kam; Tiziano Villa; Robert K. Brayton; Alb Название: Synthesis of Finite State Machines ISBN: 1441951709 ISBN-13(EAN): 9781441951700 Издательство: Springer Рейтинг: Цена: 19589.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Synthesis of Finite State Machines: Functional Optimization is one of two monographs devoted to the synthesis of Finite State Machines (FSMs).
Автор: Gopal Gupta; Ricardo Pe?a Название: Logic-Based Program Synthesis and Transformation ISBN: 3319141244 ISBN-13(EAN): 9783319141244 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Specification.- Synthesis.- Verification.- Analysis.- Optimization.- Specialization.- Security.- Certification.- Applications and tools.- Program/model manipulation.- Transformation techniques for any programming language paradigm.
Автор: Tsutomu Sasao Название: Memory-Based Logic Synthesis ISBN: 1489991530 ISBN-13(EAN): 9781489991539 Издательство: Springer Рейтинг: Цена: 18284.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In what will be a valuable reference for FPGA system designers and CAD tool developers, this book sets out the synthesis of logic functions using memories. Indeed, anyone using logic gates to design logic circuits will benefit from the methods described here.
Автор: Pedroni Volnei A. Название: Finite State Machines in Hardware ISBN: 0262019663 ISBN-13(EAN): 9780262019668 Издательство: MIT Press Рейтинг: Цена: 8465.00 р. Наличие на складе: Нет в наличии.
Описание:
A comprehensive guide to the theory and design of hardware-implemented finite state machines, with design examples developed in both VHDL and SystemVerilog languages.
Modern, complex digital systems invariably include hardware-implemented finite state machines. The correct design of such parts is crucial for attaining proper system performance. This book offers detailed, comprehensive coverage of the theory and design for any category of hardware-implemented finite state machines. It describes crucial design problems that lead to incorrect or far from optimal implementation and provides examples of finite state machines developed in both VHDL and SystemVerilog (the successor of Verilog) hardware description languages.
Important features include: extensive review of design practices for sequential digital circuits; a new division of all state machines into three hardware-based categories, encompassing all possible situations, with numerous practical examples provided in all three categories; the presentation of complete designs, with detailed VHDL and SystemVerilog codes, comments, and simulation results, all tested in FPGA devices; and exercise examples, all of which can be synthesized, simulated, and physically implemented in FPGA boards. Additional material is available on the book's Website.
Designing a state machine in hardware is more complex than designing it in software. Although interest in hardware for finite state machines has grown dramatically in recent years, there is no comprehensive treatment of the subject. This book offers the most detailed coverage of finite state machines available. It will be essential for industrial designers of digital systems and for students of electrical engineering and computer science.
Автор: Danny De Schreye Название: Logic-Based Program Synthesis and Transformation ISBN: 3642125913 ISBN-13(EAN): 9783642125911 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru