Logic functions representation and synthesis of k-valued digital circuits in linear algebra

2016 ◽  
Author(s):  
Petr S. Budyakov ◽  
Nikolay I. Chernov ◽  
Vladislav Ya. Yugai ◽  
Nikolay N. Prokopenko
Keyword(s):  
Linear Algebra ◽  
Digital Circuits ◽  
Logic Functions

Fault Detection of Bridging Faults in Digital Circuits by Shared Binary Decision Diagram

2010 ◽  
Vol 439-440 ◽  
pp. 1235-1240
Author(s):  
Ling Chen ◽  
Zhong Liang Pan
Keyword(s):  
Digital Circuits ◽  
Binary Decision Diagram ◽  
Test Method ◽  
Bridging Faults ◽  
Binary Decision ◽  
Xor Operation ◽  
Bridging Fault ◽  
Multiple Primary ◽  
Test Vectors ◽  
Logic Functions

A new test generation method for the bridging faults in digital circuits is proposed in this paper, the method is based on shared binary decision diagram. The shared binary decision diagram can represent many logic functions simultaneously by sharing isomorphic subgraphs, it is used to represent the digital circuits with multiple primary outputs. The binary decision diagram is constructed respectively for the normal circuit and faulty circuit having a bridging fault. The test vectors of the bridging fault can be produced by a XOR operation of the two binary decision diagrams. The experimental results on a lot of benchmark circuits demonstrate that the test method proposed in this paper can get the test vectors of the bridging faults if the faults are testable.

ALL-OPTICAL DIGITAL CIRCUITS

1988 ◽  
Vol 49 (C2) ◽  
pp. C2-459-C2-462 ◽  
Author(s):  
F. A.P. TOOLEY ◽  
B. S. WHERRETT ◽  
N. C. CRAFT ◽  
M. R. TAGHIZADEH ◽  
J. F. SNOWDON ◽  
...  
Keyword(s):  
Digital Circuits ◽  
All Optical

Matrix Completions, Moments, and Sums of Hermitian Squares

2011 ◽  
Author(s):  
Mihály Bakonyi ◽  
Hugo J. Woerdeman
Keyword(s):  
Linear Algebra ◽  
Undergraduate Students ◽  
Complex Analysis ◽  
Measure Theory ◽  
Complex Function ◽  
Complex Function Theory ◽  
Extensive Discussion ◽  
The Subject ◽  
Processing Control ◽  
Developing Area

Intensive research in matrix completions, moments, and sums of Hermitian squares has yielded a multitude of results in recent decades. This book provides a comprehensive account of this quickly developing area of mathematics and applications and gives complete proofs of many recently solved problems. With MATLAB codes and more than two hundred exercises, the book is ideal for a special topics course for graduate or advanced undergraduate students in mathematics or engineering, and will also be a valuable resource for researchers. Often driven by questions from signal processing, control theory, and quantum information, the subject of this book has inspired mathematicians from many subdisciplines, including linear algebra, operator theory, measure theory, and complex function theory. In turn, the applications are being pursued by researchers in areas such as electrical engineering, computer science, and physics. The book is self-contained, has many examples, and for the most part requires only a basic background in undergraduate mathematics, primarily linear algebra and some complex analysis. The book also includes an extensive discussion of the literature, with close to six hundred references from books and journals from a wide variety of disciplines.

Sign in / Sign up

Export Citation Format

Share Document