Author: Vadim Vasyukevich
Publisher: Springer Science & Business Media
ISBN: 3642216110
Category : Technology & Engineering
Languages : en
Pages : 134
Book Description
This book is dedicated to new mathematical instruments assigned for logical modeling of the memory of digital devices. The case in point is logic-dynamical operation named venjunction and venjunctive function as well as sequention and sequentional function. Venjunction and sequention operate within the framework of sequential logic. In a form of the corresponding equations, they organically fit analytical expressions of Boolean algebra. Thus, a sort of symbiosis is formed using elements of asynchronous sequential logic on the one hand and combinational logic on the other hand. So, asynchronous logic is represented in the form of enhanced Boolean logic. The book contains initial concepts, fundamental definitions, statements, principles and rules needed for theoretical justification of the mathematical apparatus and its validity for asynchronous logic. Asynchronous operators named venjunctor and sequentor are designed for practical implementation. These basic elements are assigned for realizing of memory functions in sequential circuits. Present research work is the final stage of generalization and systematization of all those ideas and investigations, author’s interest to which alternately flashed up and faded over many years and for various reasons until formed “critical mass”, and all findings were arranged definitively as a mathematical basis of a theory appropriately associated under a common theme – asynchronous sequential logic, essentially classified as switching logic, which falls into category of algebraic logics.
Asynchronous Operators of Sequential Logic: Venjunction & Sequention
Author: Vadim Vasyukevich
Publisher: Springer Science & Business Media
ISBN: 3642216110
Category : Technology & Engineering
Languages : en
Pages : 134
Book Description
This book is dedicated to new mathematical instruments assigned for logical modeling of the memory of digital devices. The case in point is logic-dynamical operation named venjunction and venjunctive function as well as sequention and sequentional function. Venjunction and sequention operate within the framework of sequential logic. In a form of the corresponding equations, they organically fit analytical expressions of Boolean algebra. Thus, a sort of symbiosis is formed using elements of asynchronous sequential logic on the one hand and combinational logic on the other hand. So, asynchronous logic is represented in the form of enhanced Boolean logic. The book contains initial concepts, fundamental definitions, statements, principles and rules needed for theoretical justification of the mathematical apparatus and its validity for asynchronous logic. Asynchronous operators named venjunctor and sequentor are designed for practical implementation. These basic elements are assigned for realizing of memory functions in sequential circuits. Present research work is the final stage of generalization and systematization of all those ideas and investigations, author’s interest to which alternately flashed up and faded over many years and for various reasons until formed “critical mass”, and all findings were arranged definitively as a mathematical basis of a theory appropriately associated under a common theme – asynchronous sequential logic, essentially classified as switching logic, which falls into category of algebraic logics.
Publisher: Springer Science & Business Media
ISBN: 3642216110
Category : Technology & Engineering
Languages : en
Pages : 134
Book Description
This book is dedicated to new mathematical instruments assigned for logical modeling of the memory of digital devices. The case in point is logic-dynamical operation named venjunction and venjunctive function as well as sequention and sequentional function. Venjunction and sequention operate within the framework of sequential logic. In a form of the corresponding equations, they organically fit analytical expressions of Boolean algebra. Thus, a sort of symbiosis is formed using elements of asynchronous sequential logic on the one hand and combinational logic on the other hand. So, asynchronous logic is represented in the form of enhanced Boolean logic. The book contains initial concepts, fundamental definitions, statements, principles and rules needed for theoretical justification of the mathematical apparatus and its validity for asynchronous logic. Asynchronous operators named venjunctor and sequentor are designed for practical implementation. These basic elements are assigned for realizing of memory functions in sequential circuits. Present research work is the final stage of generalization and systematization of all those ideas and investigations, author’s interest to which alternately flashed up and faded over many years and for various reasons until formed “critical mass”, and all findings were arranged definitively as a mathematical basis of a theory appropriately associated under a common theme – asynchronous sequential logic, essentially classified as switching logic, which falls into category of algebraic logics.
Digital Logic Design
Author: Brian Holdsworth
Publisher: Elsevier
ISBN: 0080477305
Category : Technology & Engineering
Languages : en
Pages : 535
Book Description
New, updated and expanded topics in the fourth edition include: EBCDIC, Grey code, practical applications of flip-flops, linear and shaft encoders, memory elements and FPGAs. The section on fault-finding has been expanded. A new chapter is dedicated to the interface between digital components and analog voltages. - A highly accessible, comprehensive and fully up to date digital systems text - A well known and respected text now revamped for current courses - Part of the Newnes suite of texts for HND/1st year modules
Publisher: Elsevier
ISBN: 0080477305
Category : Technology & Engineering
Languages : en
Pages : 535
Book Description
New, updated and expanded topics in the fourth edition include: EBCDIC, Grey code, practical applications of flip-flops, linear and shaft encoders, memory elements and FPGAs. The section on fault-finding has been expanded. A new chapter is dedicated to the interface between digital components and analog voltages. - A highly accessible, comprehensive and fully up to date digital systems text - A well known and respected text now revamped for current courses - Part of the Newnes suite of texts for HND/1st year modules
Digital Circuits
Author: Ronald C. Emery
Publisher: CRC Press
ISBN: 1000146650
Category : Technology & Engineering
Languages : en
Pages : 229
Book Description
This textbook is intended to introduce the student of electronics to the fundamentals of digital circuits, both combinational and sequential, in a reasonable and systematic manner. It proceeds from basic logic concepts to circuits and designs.
Publisher: CRC Press
ISBN: 1000146650
Category : Technology & Engineering
Languages : en
Pages : 229
Book Description
This textbook is intended to introduce the student of electronics to the fundamentals of digital circuits, both combinational and sequential, in a reasonable and systematic manner. It proceeds from basic logic concepts to circuits and designs.
Digital Logic Design
Author: Guy Even
Publisher: Cambridge University Press
ISBN: 1139789791
Category : Computers
Languages : en
Pages : 369
Book Description
This textbook, based on the authors' fifteen years of teaching, is a complete teaching tool for turning students into logic designers in one semester. Each chapter describes new concepts, giving extensive applications and examples. Assuming no prior knowledge of discrete mathematics, the authors introduce all background in propositional logic, asymptotics, graphs, hardware and electronics. Important features of the presentation are: • All material is presented in full detail. Every designed circuit is formally specified and implemented, the correctness of the implementation is proved, and the cost and delay are analyzed • Algorithmic solutions are offered for logical simulation, computation of propagation delay and minimum clock period • Connections are drawn from the physical analog world to the digital abstraction • The language of graphs is used to describe formulas and circuits • Hundreds of figures, examples and exercises enhance understanding. The extensive website (http://www.eng.tau.ac.il/~guy/Even-Medina/) includes teaching slides, links to Logisim and a DLX assembly simulator.
Publisher: Cambridge University Press
ISBN: 1139789791
Category : Computers
Languages : en
Pages : 369
Book Description
This textbook, based on the authors' fifteen years of teaching, is a complete teaching tool for turning students into logic designers in one semester. Each chapter describes new concepts, giving extensive applications and examples. Assuming no prior knowledge of discrete mathematics, the authors introduce all background in propositional logic, asymptotics, graphs, hardware and electronics. Important features of the presentation are: • All material is presented in full detail. Every designed circuit is formally specified and implemented, the correctness of the implementation is proved, and the cost and delay are analyzed • Algorithmic solutions are offered for logical simulation, computation of propagation delay and minimum clock period • Connections are drawn from the physical analog world to the digital abstraction • The language of graphs is used to describe formulas and circuits • Hundreds of figures, examples and exercises enhance understanding. The extensive website (http://www.eng.tau.ac.il/~guy/Even-Medina/) includes teaching slides, links to Logisim and a DLX assembly simulator.
CMOS Logic Circuit Design
Author: John P. Uyemura
Publisher: Springer Science & Business Media
ISBN: 0306475294
Category : Technology & Engineering
Languages : en
Pages : 542
Book Description
This is an up-to-date treatment of the analysis and design of CMOS integrated digital logic circuits. The self-contained book covers all of the important digital circuit design styles found in modern CMOS chips, emphasizing solving design problems using the various logic styles available in CMOS.
Publisher: Springer Science & Business Media
ISBN: 0306475294
Category : Technology & Engineering
Languages : en
Pages : 542
Book Description
This is an up-to-date treatment of the analysis and design of CMOS integrated digital logic circuits. The self-contained book covers all of the important digital circuit design styles found in modern CMOS chips, emphasizing solving design problems using the various logic styles available in CMOS.
Asynchronous Operators of Sequential Logic
Author: Vadim Vasyukevich
Publisher: Springer
ISBN: 9783642216121
Category :
Languages : en
Pages : 140
Book Description
Covering new mathematical instruments to analyze sequential circuits, this book includes basic concepts, fundamental definitions, statements, principles, and the rules needed to justify the mathematical apparatus and its validity for asynchronous logic.
Publisher: Springer
ISBN: 9783642216121
Category :
Languages : en
Pages : 140
Book Description
Covering new mathematical instruments to analyze sequential circuits, this book includes basic concepts, fundamental definitions, statements, principles, and the rules needed to justify the mathematical apparatus and its validity for asynchronous logic.
Behaviourism in Studying Swarms: Logical Models of Sensing and Motoring
Author: Andrew Schumann
Publisher: Springer
ISBN: 3319915428
Category : Technology & Engineering
Languages : en
Pages : 477
Book Description
This book presents fundamental theoretical results for designing object-oriented programming languages for controlling swarms. It studies the logics of swarm behaviours. According to behaviourism, all behaviours can be controlled or even managed by stimuli in the environment: attractants (motivational reinforcement) and repellents (motivational punishment). At the same time, there are two main stages in reactions to stimuli: sensing (perceiving signals) and motoring (appropriate direct reactions to signals). This book examines the strict limits of behaviourism from the point of view of symbolic logic and algebraic mathematics: how far can animal behaviours be controlled by the topology of stimuli? On the one hand, we can try to design reversible logic gates in which the number of inputs is the same as the number of outputs. In this case, the behaviouristic stimuli are inputs in swarm computing and appropriate reactions at the motoring stage are its outputs. On the other hand, the problem is that even at the sensing stage each unicellular organism can be regarded as a logic gate in which the number of outputs (means of perceiving signals) greatly exceeds the number of inputs (signals).
Publisher: Springer
ISBN: 3319915428
Category : Technology & Engineering
Languages : en
Pages : 477
Book Description
This book presents fundamental theoretical results for designing object-oriented programming languages for controlling swarms. It studies the logics of swarm behaviours. According to behaviourism, all behaviours can be controlled or even managed by stimuli in the environment: attractants (motivational reinforcement) and repellents (motivational punishment). At the same time, there are two main stages in reactions to stimuli: sensing (perceiving signals) and motoring (appropriate direct reactions to signals). This book examines the strict limits of behaviourism from the point of view of symbolic logic and algebraic mathematics: how far can animal behaviours be controlled by the topology of stimuli? On the one hand, we can try to design reversible logic gates in which the number of inputs is the same as the number of outputs. In this case, the behaviouristic stimuli are inputs in swarm computing and appropriate reactions at the motoring stage are its outputs. On the other hand, the problem is that even at the sensing stage each unicellular organism can be regarded as a logic gate in which the number of outputs (means of perceiving signals) greatly exceeds the number of inputs (signals).
Electronic Circuit Analysis
Author: Roy A. Colclaser
Publisher: John Wiley & Sons
ISBN: 9780471866268
Category : Electronic apparatus and appliances
Languages : en
Pages : 574
Book Description
Publisher: John Wiley & Sons
ISBN: 9780471866268
Category : Electronic apparatus and appliances
Languages : en
Pages : 574
Book Description
Boolean Reasoning
Author: Frank Markham Brown
Publisher: Courier Corporation
ISBN: 0486164594
Category : Mathematics
Languages : en
Pages : 308
Book Description
Concise text begins with overview of elementary mathematical concepts and outlines theory of Boolean algebras; defines operators for elimination, division, and expansion; covers syllogistic reasoning, solution of Boolean equations, functional deduction. 1990 edition.
Publisher: Courier Corporation
ISBN: 0486164594
Category : Mathematics
Languages : en
Pages : 308
Book Description
Concise text begins with overview of elementary mathematical concepts and outlines theory of Boolean algebras; defines operators for elimination, division, and expansion; covers syllogistic reasoning, solution of Boolean equations, functional deduction. 1990 edition.
Digital Principles and Design
Author: Donald D. Givone
Publisher: Palgrave Macmillan
ISBN: 9780072525038
Category : Computers
Languages : en
Pages : 738
Book Description
Publisher: Palgrave Macmillan
ISBN: 9780072525038
Category : Computers
Languages : en
Pages : 738
Book Description