Logic Synthesis for Finite State Machines Based on Linear Chains of States, Alexander Barkalov; Larysa Titarenko; Jacek Biegan
Автор: Tiziano Villa; Timothy Kam; Robert K. Brayton; Alb Название: Synthesis of Finite State Machines ISBN: 0792398920 ISBN-13(EAN): 9780792398929 Издательство: Springer Рейтинг: Цена: 186340.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: A set of two monographs devoted to the synthesis of Finite State Machines (FSMs). The first volume addresses functional optimization, whereas second addresses logic optimization. It is of interest to researchers and professional engineers who work in the area of computer-aided design of integrated circuits.
Автор: Tsutomu Sasao Название: Memory-Based Logic Synthesis ISBN: 1489991530 ISBN-13(EAN): 9781489991539 Издательство: Springer Рейтинг: Цена: 121890.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Albert Elvira Название: Logic-based Program Synthesis and Transformation ISBN: 3642381960 ISBN-13(EAN): 9783642381966 Издательство: Springer Рейтинг: Цена: 42860.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012.
Автор: Alexander Barkalov; Larysa Titarenko; Jacek Biegan Название: Logic Synthesis for Finite State Machines Based on Linear Chains of States ISBN: 3319598368 ISBN-13(EAN): 9783319598369 Издательство: Springer Рейтинг: Цена: 130430.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 121890.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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: 0792398424 ISBN-13(EAN): 9780792398424 Издательство: Springer Рейтинг: Цена: 156720.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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).
Автор: Timothy Kam; Tiziano Villa; Robert K. Brayton; Alb Название: Synthesis of Finite State Machines ISBN: 1441951709 ISBN-13(EAN): 9781441951700 Издательство: Springer Рейтинг: Цена: 130590.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Synthesis of Finite State Machines: Functional Optimization is one of two monographs devoted to the synthesis of Finite State Machines (FSMs).
Автор: Tiziano Villa; Timothy Kam; Robert K. Brayton; Alb Название: Synthesis of Finite State Machines ISBN: 1461378214 ISBN-13(EAN): 9781461378211 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 52170.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Gopal Gupta; Ricardo Pe?a Название: Logic-Based Program Synthesis and Transformation ISBN: 3319141244 ISBN-13(EAN): 9783319141244 Издательство: Springer Рейтинг: Цена: 44720.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Specification.- Synthesis.- Verification.- Analysis.- Optimization.- Specialization.- Security.- Certification.- Applications and tools.- Program/model manipulation.- Transformation techniques for any programming language paradigm.
Автор: Ndjountche Название: Digital Electronics V3 - Finite-state Machines ISBN: 1848219865 ISBN-13(EAN): 9781848219861 Издательство: Wiley Рейтинг: Цена: 146730.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This third volume in the comprehensive Digital Electronics series, which explores the basic principles and concepts of digital circuits, focuses on finite state machines.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz